sig
val
force_compute : unit
->
unit
end