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