Module Tast_mapper

A generic Typedtree mapper

type mapper = {
binding_op : mapper -> Typedtree.binding_op -> Typedtree.binding_op;
case : k. mapper -> 'k Typedtree.case -> 'k Typedtree.case;
class_declaration : mapper -> Typedtree.class_declaration -> Typedtree.class_declaration;
class_description : mapper -> Typedtree.class_description -> Typedtree.class_description;
class_expr : mapper -> Typedtree.class_expr -> Typedtree.class_expr;
class_field : mapper -> Typedtree.class_field -> Typedtree.class_field;
class_signature : mapper -> Typedtree.class_signature -> Typedtree.class_signature;
class_structure : mapper -> Typedtree.class_structure -> Typedtree.class_structure;
class_type : mapper -> Typedtree.class_type -> Typedtree.class_type;
class_type_declaration : mapper -> Typedtree.class_type_declaration -> Typedtree.class_type_declaration;
class_type_field : mapper -> Typedtree.class_type_field -> Typedtree.class_type_field;
env : mapper -> Env.t -> Env.t;
expr : mapper -> Typedtree.expression -> Typedtree.expression;
extension_constructor : mapper -> Typedtree.extension_constructor -> Typedtree.extension_constructor;
module_binding : mapper -> Typedtree.module_binding -> Typedtree.module_binding;
module_coercion : mapper -> Typedtree.module_coercion -> Typedtree.module_coercion;
module_declaration : mapper -> Typedtree.module_declaration -> Typedtree.module_declaration;
module_substitution : mapper -> Typedtree.module_substitution -> Typedtree.module_substitution;
module_expr : mapper -> Typedtree.module_expr -> Typedtree.module_expr;
module_type : mapper -> Typedtree.module_type -> Typedtree.module_type;
module_type_declaration : mapper -> Typedtree.module_type_declaration -> Typedtree.module_type_declaration;
package_type : mapper -> Typedtree.package_type -> Typedtree.package_type;
pat : k. mapper -> 'k Typedtree.general_pattern -> 'k Typedtree.general_pattern;
row_field : mapper -> Typedtree.row_field -> Typedtree.row_field;
object_field : mapper -> Typedtree.object_field -> Typedtree.object_field;
open_declaration : mapper -> Typedtree.open_declaration -> Typedtree.open_declaration;
open_description : mapper -> Typedtree.open_description -> Typedtree.open_description;
signature : mapper -> Typedtree.signature -> Typedtree.signature;
signature_item : mapper -> Typedtree.signature_item -> Typedtree.signature_item;
structure : mapper -> Typedtree.structure -> Typedtree.structure;
structure_item : mapper -> Typedtree.structure_item -> Typedtree.structure_item;
typ : mapper -> Typedtree.core_type -> Typedtree.core_type;
type_declaration : mapper -> Typedtree.type_declaration -> Typedtree.type_declaration;
type_declarations : mapper -> (Asttypes.rec_flag * Typedtree.type_declaration list) -> Asttypes.rec_flag * Typedtree.type_declaration list;
type_extension : mapper -> Typedtree.type_extension -> Typedtree.type_extension;
type_exception : mapper -> Typedtree.type_exception -> Typedtree.type_exception;
type_kind : mapper -> Typedtree.type_kind -> Typedtree.type_kind;
value_binding : mapper -> Typedtree.value_binding -> Typedtree.value_binding;
value_bindings : mapper -> (Asttypes.rec_flag * Typedtree.value_binding list) -> Asttypes.rec_flag * Typedtree.value_binding list;
value_description : mapper -> Typedtree.value_description -> Typedtree.value_description;
with_constraint : mapper -> Typedtree.with_constraint -> Typedtree.with_constraint;
}
val default : mapper