sig val force_compute : unit -> unit end