blob: 47a7c181b9abf66a8ee2110b46890003e8d91682 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
definition module Random
// Random number generator voor Linux gebruikers
// interface compatible met Random.dcl (helaas)
// -- mschool@science.ru.nl
import StdFile
:: RandomSeed
// nullRandomSeed generates a fixed RandomSeed
nullRandomSeed :: RandomSeed
// GetNewRandomSeed generates a good RandomSeed, using /dev/urandom
getNewRandomSeed :: !*env -> (!RandomSeed, !*env) | FileSystem env
// Given a RandomSeed, Random generates a random number and a new RandomSeed.
random :: !RandomSeed -> .(!Int, !RandomSeed)
|
