module StaticGeneratorID: functor (
K
:
Key
) ->
functor (
D
:
IData
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 |
: |
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