package atd

  1. Overview
  2. Docs

Replace nodes by other nodes of the same type. First the user-given mapper is applied to a node, then the children nodes are mapped recursively.

type mappers = {
  1. type_expr : type_expr -> type_expr;
}
val default_mappers : mappers
val type_expr : mappers -> type_expr -> type_expr
val variant : mappers -> variant -> variant
val field : mappers -> field -> field
val type_def : mappers -> type_def -> type_def
val module_item : mappers -> module_item -> module_item
val module_body : mappers -> module_body -> module_body
val full_module : mappers -> full_module -> full_module