sig   type key   type data   val get : Model.Generator.key -> Model.Generator.data end