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