Functor WpContext.StaticGenerator

module StaticGenerator: 
functor (K : Key-> 
functor (D : Data with type key = K.t-> Generator with type key = D.key and type data = D.data
projectified, independent from the model, not serialized
Parameters:
K : Key
D : Data with type key = K.t

type key 
type data 
val get : key -> data
val mem : key -> bool
val clear : unit -> unit
val remove : key -> unit