sig
  module type S = sig val prefix : string end
  module type HI =
    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
  module Make : functor (X : S) -> HI
end