X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Fhcons.mli;fp=src%2Fhcons.mli;h=efef8d45c2e4011c2cbe778840d76a75a4c3dbe1;hb=35b9abd60699383b0cebf25e905049d3d7027271;hp=2e18f82446c541a096ce3027ddf6e590245f56fe;hpb=689b47b109dc54a78008f589f2c55f98672ab61d;p=SXSI%2Fxpathcomp.git diff --git a/src/hcons.mli b/src/hcons.mli index 2e18f82..efef8d4 100644 --- a/src/hcons.mli +++ b/src/hcons.mli @@ -8,20 +8,22 @@ module type SA = val uid : t -> Uid.t val equal : t -> t -> bool val stats : unit -> unit + val init : unit -> unit end -module type S = - sig +module type S = sig type data type t = private { id : Uid.t; - key : int; - node : data } + key : int; + node : data } val make : data -> t val node : t -> data val hash : t -> int val uid : t -> Uid.t val equal : t -> t -> bool val stats : unit -> unit - end + val init : unit -> unit + +end module Make (H : Hashtbl.HashedType) : S with type data = H.t