Functor Wp.WpContext.GeneratorID

module GeneratorID: 
functor (K : Key-> 
functor (D : IData with type key = K.t-> Generator with type key = D.key and type data = D.data

projectified, depend on the model, not serialized

Parameters:
K : Key
D : IData 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