X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=hcons.mli;h=49af121a88d02da8535daf07e089b6f62bd6b97e;hb=70ff0bfc463882ecf233f1b1a7ac4a8007fa4cc2;hp=ceb33c2b1ab6294a53bb6518c639324b672b4243;hpb=f1da22caf34bc3367984228ace9e7e7aa0760f0a;p=SXSI%2Fxpathcomp.git

diff --git a/hcons.mli b/hcons.mli
index ceb33c2..49af121 100644
--- a/hcons.mli
+++ b/hcons.mli
@@ -1,21 +1,12 @@
 module type S =
   sig
     type data
-    type t
+    type t 
     val make : data -> t
     val node : t -> data
     val hash : t -> int
     val uid : t -> int
     val equal : t -> t -> bool
   end
-module Make :
-  functor (H : Hashtbl.HashedType) ->
-sig
-  type data = H.t
-  type t
-  val make : data -> t
-  val node : t -> data
-  val hash : t -> int
-  val uid : t -> int
-  val equal : t -> t -> bool
-end
+
+module Make (H : Hashtbl.HashedType) : S with type data = H.t