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