sig val generate : unit -> unit end