sig val compute : unit -> unit end