sig
val
clear : unit
->
unit
val
incr : unit
->
bool
end