X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Fhcons.mli;h=efef8d45c2e4011c2cbe778840d76a75a4c3dbe1;hb=744e0c89a77d0eb82c64a98d8a8a6860af875653;hp=2e18f82446c541a096ce3027ddf6e590245f56fe;hpb=4b52da1a20a4fe031930bb96d2ca46bec06dc529;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