From 6f3fa80b37ca5f8d992f5d6f66aee77ead303bf4 Mon Sep 17 00:00:00 2001 From: Vladimir Azarov Date: Mon, 26 May 2025 14:42:35 +0200 Subject: Symbol table --- hashtable.sig | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) (limited to 'hashtable.sig') 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 -- cgit v1.2.3