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