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