Make.4-L
type t
type l
= R.label
val init : t
val increment : t -> l -> t
val is_greater : t -> t -> bool
val to_string : t -> string