From a7d7542dc646a5fd124ef71e71ce260889f1701b Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Tue, 2 Feb 2016 19:24:50 +0100
Subject: Moved to 1415 directory

---
 1415/files/practicum/Random.dcl | 22 ++++++++++++++++++++++
 1 file changed, 22 insertions(+)
 create mode 100644 1415/files/practicum/Random.dcl

(limited to '1415/files/practicum/Random.dcl')

diff --git a/1415/files/practicum/Random.dcl b/1415/files/practicum/Random.dcl
new file mode 100644
index 0000000..cc4f646
--- /dev/null
+++ b/1415/files/practicum/Random.dcl
@@ -0,0 +1,22 @@
+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.
-- 
cgit v1.2.3