hcons.mli

   1 module type SA =
   2   sig
   3     type data
   4     type t
   5     val make : data -> t
   6     val node : t -> data
   7     val hash : t -> int
   8     val uid : t -> int
   9     val equal : t -> t -> bool
  10   end
  11
  12 module type S =
  13   sig
  14     type data
  15     type t = private { id : int;
  16                        key : int;
  17                        node : data }
  18     val make : data -> t
  19     val node : t -> data
  20     val hash : t -> int
  21     val uid : t -> int
  22     val equal : t -> t -> bool
  23   end
  24
  25 module Make (H : Hashtbl.HashedType) : S with type data = H.t