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