Uses of Class
jason.stdlib.set_random_seed

No usage of jason.stdlib.set_random_seed