fp2/week1/camil/RandomGetallen.dcl

   1 definition module RandomGetallen
   2
   3 import Random
   4
   5 random_n        :: Int RandomSeed -> ([Int],RandomSeed)
   6 random_inf      ::     RandomSeed ->  [Int]
   7 shuffle         :: [a] RandomSeed ->  [a]