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 module Make :
  12   functor (H : Hashtbl.HashedType) ->
  13 sig
  14   type data = H.t
  15   type t
  16   val make : data -> t
  17   val node : t -> data
  18   val hash : t -> int
  19   val uid : t -> int
  20   val equal : t -> t -> bool
  21 end