sig
val
map :
Mapper
.mapper
->
Syntax
.der_spec
->
Syntax
.der_spec
end