Module type Model.Generator

module type Generator = sig .. end

type key 
type data 
val get : key -> data
val mem : key -> bool
val clear : unit -> unit
val remove : key -> unit