signature HASHTABLE = sig type 'a t exception HashtableFull exception Exists val create: int -> 'a t val insert: 'a t -> string -> 'a -> unit val lookup: 'a t -> string -> 'a option end