X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=memoizer.mli;fp=memoizer.mli;h=dfba383d160fc3cfd949ae0c1fa80d684fe1c164;hb=f1da22caf34bc3367984228ace9e7e7aa0760f0a;hp=0000000000000000000000000000000000000000;hpb=b1e6806834df253d5454fffad7f14fb24c74af70;p=SXSI%2Fxpathcomp.git

diff --git a/memoizer.mli b/memoizer.mli
new file mode 100644
index 0000000..dfba383
--- /dev/null
+++ b/memoizer.mli
@@ -0,0 +1,5 @@
+module Make (H : Hashtbl.S) :
+sig
+  val make : (H.key -> 'a) -> H.key -> 'a
+  val make_rec : ((H.key -> 'a) -> H.key -> 'a) -> H.key -> 'a
+end