sig
  module type ComparedType =
    sig
      type t
      val equal : Util.ComparedType.t -> Util.ComparedType.t -> bool
      val hash : Util.ComparedType.t -> int
      val compare : Util.ComparedType.t -> Util.ComparedType.t -> int
    end
  module Integer :
    sig
      type t = int
      val equal : t -> t -> bool
      val hash : t -> int
      val compare : t -> t -> int
    end
  module String :
    sig
      type t = string
      val equal : t -> t -> bool
      val hash : t -> int
      val compare : t -> t -> int
      val prefix : string -> string -> bool
      val fold_left : ('a -> char -> 'a) -> 'a -> string -> 'a
      val fold_right : (char -> 'a -> 'a) -> string -> 'a -> 'a
      val explode : string -> char list
      val implode : char list -> string
    end
end

---

Hosted by the ^* web site.
^*Other names and brands may be claimed as the property of others.