path: root/fp2/week1/mart/RandomGetallen.dcl

definition module RandomGetallen

import Random

random_n	:: Int RandomSeed -> ([Int],RandomSeed)
random_inf	::     RandomSeed ->  [Int]
//shuffle		:: [a] RandomSeed ->  [a]