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