summaryrefslogtreecommitdiff
path: root/hashtable.sig
diff options
context:
space:
mode:
Diffstat (limited to 'hashtable.sig')
-rw-r--r--hashtable.sig10
1 files changed, 5 insertions, 5 deletions
diff --git a/hashtable.sig b/hashtable.sig
index b96bfb3..2eac5b8 100644
--- a/hashtable.sig
+++ b/hashtable.sig
@@ -1,11 +1,11 @@
signature HASHTABLE = sig
type 'a t
- exception Full and Exists
+ exception Full
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
+ val insertIfNew: 'a t -> string -> 'a -> 'a option
+
+ val taken: 'a t -> int
+ val size: 'a t -> int
end