module type HI = sig .. end
sig
end
type t
val create_new : unit -> t
unit -> t
val compare : t -> t -> int
t -> t -> int
val string_of : t -> string
t -> string
val reset : unit -> unit
unit -> unit