module type Generator = sig .. end
sig
end
type key
type data
val get : key -> data
key -> data
val mem : key -> bool
key -> bool
val clear : unit -> unit
unit -> unit
val remove : key -> unit
key -> unit