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