files/practicum/ReturnEnBind.icl

   1 module ReturnEnBind
   2
   3 import StdEnv, Random
   4
   5 Start = 42
   6
   7 (bind1) infix 0 :: (St s a) (a -> (St s b)) -> St s b
   8 (bind1) f1 f2 = ...
   9
  10 som2 :: (RandomSeed -> (Int,RandomSeed))
  11 som2 ...
  12
  13 seqList1 :: [St s a] -> St s [a]
  14 seqList1 ...