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