sig   type key   type data   val name : string   val compile : Wp.Model.Data.key -> Wp.Model.Data.data end