sig
val
compute : unit
->
unit
end