summaryrefslogtreecommitdiff
path: root/hashtable.sig
diff options
context:
space:
mode:
Diffstat (limited to 'hashtable.sig')
-rw-r--r--hashtable.sig10
1 files changed, 10 insertions, 0 deletions
diff --git a/hashtable.sig b/hashtable.sig
new file mode 100644
index 0000000..b714fd6
--- /dev/null
+++ b/hashtable.sig
@@ -0,0 +1,10 @@
+signature HASHTABLE = sig
+ type 'a t
+
+ exception HashtableFull
+ exception Exists
+
+ val create: int -> 'a t
+ val insert: 'a t -> string -> 'a -> unit
+ val lookup: 'a t -> string -> 'a option
+end