sig
val
reset : unit
->
unit
end