summaryrefslogtreecommitdiff
path: root/hashtable.sig
diff options
context:
space:
mode:
Diffstat (limited to 'hashtable.sig')
-rw-r--r--hashtable.sig7
1 files changed, 4 insertions, 3 deletions
diff --git a/hashtable.sig b/hashtable.sig
index b714fd6..b96bfb3 100644
--- a/hashtable.sig
+++ b/hashtable.sig
@@ -1,10 +1,11 @@
signature HASHTABLE = sig
type 'a t
- exception HashtableFull
- exception Exists
+ exception Full and Exists
- val create: int -> 'a t
+ val createLog: int -> 'a t
val insert: 'a t -> string -> 'a -> unit
val lookup: 'a t -> string -> 'a option
+ val lookup2: 'a t -> string ->
+ ('a -> 'a option * 'b) -> (unit -> 'b) -> 'b
end