Lines Matching defs:random
1 (* Random -- random number generator *)
9 val random : generator -> real
17 [generator] is the type of random number generators, here the
20 [newgenseed seed] returns a random number generator with the given seed.
22 [newgen ()] returns a random number generator, taking the seed from
25 [random gen] returns a random number in the interval [0..1).
27 [randomlist (n, gen)] returns a list of n random numbers in the
30 [range (min, max) gen] returns an integral random number in the
33 [rangelist (min, max) (n, gen)] returns a list of n integral random