summaryrefslogtreecommitdiff
path: root/hashtable.sig
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