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