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