diff options
Diffstat (limited to 'files/practicum/Random.dcl')
| -rw-r--r-- | files/practicum/Random.dcl | 22 |
1 files changed, 0 insertions, 22 deletions
diff --git a/files/practicum/Random.dcl b/files/practicum/Random.dcl deleted file mode 100644 index cc4f646..0000000 --- a/files/practicum/Random.dcl +++ /dev/null @@ -1,22 +0,0 @@ -definition module Random
-
-// **************************************************************************************************
-//
-// General utility for random number generation.
-//
-// This module has been written in Clean 1.3.2 and uses the Clean Standard Object I/O library 1.2
-//
-// **************************************************************************************************
-
-import StdTime
-
-:: RandomSeed
-
-nullRandomSeed :: RandomSeed
-// nullRandomSeed generates a useless RandomSeed (random nullRandomSeed = (0,nullRandomSeed)).
-
-getNewRandomSeed:: !*env -> (!RandomSeed, !*env) | TimeEnv env
-// GetNewRandomSeed generates a useful RandomSeed, using the current time.
-
-random :: !RandomSeed -> .(!Int, !RandomSeed)
-// Given a RandomSeed, Random generates a random number and a new RandomSeed.
|