module TypedtreeIter

: sig

module type IteratorArgument = sig

val enter_structure : Typedtree.structure -> unit

val enter_value_description : Typedtree.value_description -> unit

val enter_type_declaration : Typedtree.type_declaration -> unit

val enter_type_extension : Typedtree.type_extension -> unit

val enter_extension_constructor : Typedtree.extension_constructor -> unit

val enter_pattern : Typedtree.pattern -> unit

val enter_expression : Typedtree.expression -> unit

val enter_package_type : Typedtree.package_type -> unit

val enter_signature : Typedtree.signature -> unit

val enter_signature_item : Typedtree.signature_item -> unit

val enter_module_type_declaration : Typedtree.module_type_declaration -> unit

val enter_module_type : Typedtree.module_type -> unit

val enter_module_expr : Typedtree.module_expr -> unit

val enter_with_constraint : Typedtree.with_constraint -> unit

val enter_class_expr : Typedtree.class_expr -> unit

val enter_class_signature : Typedtree.class_signature -> unit

val enter_class_declaration : Typedtree.class_declaration -> unit

val enter_class_description : Typedtree.class_description -> unit

val enter_class_type_declaration : Typedtree.class_type_declaration -> unit

val enter_class_type : Typedtree.class_type -> unit

val enter_class_type_field : Typedtree.class_type_field -> unit

val enter_core_type : Typedtree.core_type -> unit

val enter_class_structure : Typedtree.class_structure -> unit

val enter_class_field : Typedtree.class_field -> unit

val enter_structure_item : Typedtree.structure_item -> unit

val leave_structure : Typedtree.structure -> unit

val leave_value_description : Typedtree.value_description -> unit

val leave_type_declaration : Typedtree.type_declaration -> unit

val leave_type_extension : Typedtree.type_extension -> unit

val leave_extension_constructor : Typedtree.extension_constructor -> unit

val leave_pattern : Typedtree.pattern -> unit

val leave_expression : Typedtree.expression -> unit

val leave_package_type : Typedtree.package_type -> unit

val leave_signature : Typedtree.signature -> unit

val leave_signature_item : Typedtree.signature_item -> unit

val leave_module_type_declaration : Typedtree.module_type_declaration -> unit

val leave_module_type : Typedtree.module_type -> unit

val leave_module_expr : Typedtree.module_expr -> unit

val leave_with_constraint : Typedtree.with_constraint -> unit

val leave_class_expr : Typedtree.class_expr -> unit

val leave_class_signature : Typedtree.class_signature -> unit

val leave_class_declaration : Typedtree.class_declaration -> unit

val leave_class_description : Typedtree.class_description -> unit

val leave_class_type_declaration : Typedtree.class_type_declaration -> unit

val leave_class_type : Typedtree.class_type -> unit

val leave_class_type_field : Typedtree.class_type_field -> unit

val leave_core_type : Typedtree.core_type -> unit

val leave_class_structure : Typedtree.class_structure -> unit

val leave_class_field : Typedtree.class_field -> unit

val leave_structure_item : Typedtree.structure_item -> unit

val enter_bindings : Asttypes.rec_flag -> unit

val enter_binding : Typedtree.value_binding -> unit

val leave_binding : Typedtree.value_binding -> unit

val leave_bindings : Asttypes.rec_flag -> unit

end

module MakeIterator : functor (Iter : IteratorArgument) -> sig

val iter_structure : Typedtree.structure -> unit

val iter_signature : Typedtree.signature -> unit

val iter_structure_item : Typedtree.structure_item -> unit

val iter_signature_item : Typedtree.signature_item -> unit

val iter_expression : Typedtree.expression -> unit

val iter_module_type : Typedtree.module_type -> unit

val iter_pattern : Typedtree.pattern -> unit

val iter_class_expr : Typedtree.class_expr -> unit

end

module DefaultIteratorArgument : IteratorArgument

end