New files refactoring the code

[SXSI/xpathcomp.git] / memoizer.mli

diff --git a/memoizer.mli b/memoizer.mli
new file mode 100644 (file)
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