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 -> Uid.t
   9     val equal : t -> t -> bool
  10
  11
  12     val with_id : Uid.t -> t
  13   end
  14
  15 module type S =
  16   sig
  17     type data
  18     type t = private { id   : Uid.t;
  19                        key  : int;
  20                        node : data }
  21     val make : data -> t
  22     val node : t -> data
  23     val hash : t -> int
  24     val uid : t -> Uid.t
  25     val equal : t -> t -> bool
  26
  27
  28     val with_id : Uid.t -> t
  29   end
  30
  31 module Make (H : Hashtbl.HashedType) : S with type data = H.t