module TRD: sig .. end
sig
end
val map : Mapper.mapper -> Syntax.type_redeclaration -> Syntax.type_redeclaration
Mapper.mapper -> Syntax.type_redeclaration -> Syntax.type_redeclaration