signature HASHTABLE = sig
  type 'a t

  exception Full

  val createLog: int -> 'a t
  val insertIfNew: 'a t -> string -> 'a -> 'a option

  val taken: 'a t -> int
  val size: 'a t -> int
end