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)