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