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