sig
val
init : unit
->
unit
end