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