Functor Model.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