blob: b96bfb3b2d6144ffed3daa70c8a11bccfbd50c8e (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
signature HASHTABLE = sig
type 'a t
exception Full and Exists
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
|