module GeneratorID: functor (K : Key) -> functor (D : IData with type key = K.t) -> Generator with type key = D.key and type data = D.data
functor (
K
:
Key
) ->
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
IData with type key = K.t
type key
type data
val get : key -> data
key -> data
val mem : key -> bool
key -> bool
val clear : unit -> unit
unit -> unit
val remove : key -> unit
key -> unit