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