functor (File : FILE->
  sig type t = int32 val genrand : unit -> t val min : t val max : t end