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