equal
deleted
inserted
replaced
31 |
31 |
32 (* ------------------------------------------------------------------------- *) |
32 (* ------------------------------------------------------------------------- *) |
33 (* Generating random values. *) |
33 (* Generating random values. *) |
34 (* ------------------------------------------------------------------------- *) |
34 (* ------------------------------------------------------------------------- *) |
35 |
35 |
36 val randomWord = RandomWord.next_word; |
36 val randomWord = Random_Word.next_word; |
37 val randomBool = RandomWord.next_bool; |
37 val randomBool = Random_Word.next_bool; |
38 fun randomInt n = RandomWord.next_int 0 (n - 1); |
38 fun randomInt n = Random_Word.next_int 0 (n - 1); |
39 val randomReal = RandomWord.next_real; |
39 val randomReal = Random_Word.next_real; |
40 |
40 |
41 end; |
41 end; |
42 |
42 |
43 (* ------------------------------------------------------------------------- *) |
43 (* ------------------------------------------------------------------------- *) |
44 (* Quotations a la Moscow ML. *) |
44 (* Quotations a la Moscow ML. *) |