summaryrefslogtreecommitdiff
path: root/otherlibs/labltk/browser/jg_memo.mli
diff options
context:
space:
mode:
Diffstat (limited to 'otherlibs/labltk/browser/jg_memo.mli')
-rw-r--r--otherlibs/labltk/browser/jg_memo.mli8
1 files changed, 8 insertions, 0 deletions
diff --git a/otherlibs/labltk/browser/jg_memo.mli b/otherlibs/labltk/browser/jg_memo.mli
new file mode 100644
index 0000000000..8d08111b1e
--- /dev/null
+++ b/otherlibs/labltk/browser/jg_memo.mli
@@ -0,0 +1,8 @@
+(* $Id$ *)
+
+class ['a, 'b] c : fun:('a -> 'b) -> object
+ val hash : ('a, 'b) Hashtbl.t
+ method clear : unit
+ method get : 'a -> 'b
+ method reget : 'a -> 'b
+end