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