hcons.mli

   1 module type S =
   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 Make (H : Hashtbl.HashedType) : S with type data = H.t