Up
module
TypedtreeMap
:
sig
#
module type
MapArgument =
sig
#
val
enter_structure :
Typedtree
.
structure
->
Typedtree
.
structure
#
val
enter_value_description :
Typedtree
.
value_description
->
Typedtree
.
value_description
#
val
enter_type_declaration :
Typedtree
.
type_declaration
->
Typedtree
.
type_declaration
#
val
enter_type_extension :
Typedtree
.
type_extension
->
Typedtree
.
type_extension
#
val
enter_extension_constructor :
Typedtree
.
extension_constructor
->
Typedtree
.
extension_constructor
#
val
enter_pattern :
Typedtree
.
pattern
->
Typedtree
.
pattern
#
val
enter_expression :
Typedtree
.
expression
->
Typedtree
.
expression
#
val
enter_package_type :
Typedtree
.
package_type
->
Typedtree
.
package_type
#
val
enter_signature :
Typedtree
.
signature
->
Typedtree
.
signature
#
val
enter_signature_item :
Typedtree
.
signature_item
->
Typedtree
.
signature_item
#
val
enter_module_type_declaration :
Typedtree
.
module_type_declaration
->
Typedtree
.
module_type_declaration
#
val
enter_module_type :
Typedtree
.
module_type
->
Typedtree
.
module_type
#
val
enter_module_expr :
Typedtree
.
module_expr
->
Typedtree
.
module_expr
#
val
enter_with_constraint :
Typedtree
.
with_constraint
->
Typedtree
.
with_constraint
#
val
enter_class_expr :
Typedtree
.
class_expr
->
Typedtree
.
class_expr
#
val
enter_class_signature :
Typedtree
.
class_signature
->
Typedtree
.
class_signature
#
val
enter_class_declaration :
Typedtree
.
class_declaration
->
Typedtree
.
class_declaration
#
val
enter_class_description :
Typedtree
.
class_description
->
Typedtree
.
class_description
#
val
enter_class_type_declaration :
Typedtree
.
class_type_declaration
->
Typedtree
.
class_type_declaration
#
val
enter_class_type :
Typedtree
.
class_type
->
Typedtree
.
class_type
#
val
enter_class_type_field :
Typedtree
.
class_type_field
->
Typedtree
.
class_type_field
#
val
enter_core_type :
Typedtree
.
core_type
->
Typedtree
.
core_type
#
val
enter_class_structure :
Typedtree
.
class_structure
->
Typedtree
.
class_structure
#
val
enter_class_field :
Typedtree
.
class_field
->
Typedtree
.
class_field
#
val
enter_structure_item :
Typedtree
.
structure_item
->
Typedtree
.
structure_item
#
val
leave_structure :
Typedtree
.
structure
->
Typedtree
.
structure
#
val
leave_value_description :
Typedtree
.
value_description
->
Typedtree
.
value_description
#
val
leave_type_declaration :
Typedtree
.
type_declaration
->
Typedtree
.
type_declaration
#
val
leave_type_extension :
Typedtree
.
type_extension
->
Typedtree
.
type_extension
#
val
leave_extension_constructor :
Typedtree
.
extension_constructor
->
Typedtree
.
extension_constructor
#
val
leave_pattern :
Typedtree
.
pattern
->
Typedtree
.
pattern
#
val
leave_expression :
Typedtree
.
expression
->
Typedtree
.
expression
#
val
leave_package_type :
Typedtree
.
package_type
->
Typedtree
.
package_type
#
val
leave_signature :
Typedtree
.
signature
->
Typedtree
.
signature
#
val
leave_signature_item :
Typedtree
.
signature_item
->
Typedtree
.
signature_item
#
val
leave_module_type_declaration :
Typedtree
.
module_type_declaration
->
Typedtree
.
module_type_declaration
#
val
leave_module_type :
Typedtree
.
module_type
->
Typedtree
.
module_type
#
val
leave_module_expr :
Typedtree
.
module_expr
->
Typedtree
.
module_expr
#
val
leave_with_constraint :
Typedtree
.
with_constraint
->
Typedtree
.
with_constraint
#
val
leave_class_expr :
Typedtree
.
class_expr
->
Typedtree
.
class_expr
#
val
leave_class_signature :
Typedtree
.
class_signature
->
Typedtree
.
class_signature
#
val
leave_class_declaration :
Typedtree
.
class_declaration
->
Typedtree
.
class_declaration
#
val
leave_class_description :
Typedtree
.
class_description
->
Typedtree
.
class_description
#
val
leave_class_type_declaration :
Typedtree
.
class_type_declaration
->
Typedtree
.
class_type_declaration
#
val
leave_class_type :
Typedtree
.
class_type
->
Typedtree
.
class_type
#
val
leave_class_type_field :
Typedtree
.
class_type_field
->
Typedtree
.
class_type_field
#
val
leave_core_type :
Typedtree
.
core_type
->
Typedtree
.
core_type
#
val
leave_class_structure :
Typedtree
.
class_structure
->
Typedtree
.
class_structure
#
val
leave_class_field :
Typedtree
.
class_field
->
Typedtree
.
class_field
#
val
leave_structure_item :
Typedtree
.
structure_item
->
Typedtree
.
structure_item
end
#
module
MakeMap :
functor
(Iter :
MapArgument
)
->
sig
#
val
map_structure :
Typedtree
.
structure
->
Typedtree
.
structure
#
val
map_pattern :
Typedtree
.
pattern
->
Typedtree
.
pattern
#
val
map_structure_item :
Typedtree
.
structure_item
->
Typedtree
.
structure_item
#
val
map_expression :
Typedtree
.
expression
->
Typedtree
.
expression
#
val
map_class_expr :
Typedtree
.
class_expr
->
Typedtree
.
class_expr
#
val
map_signature :
Typedtree
.
signature
->
Typedtree
.
signature
#
val
map_signature_item :
Typedtree
.
signature_item
->
Typedtree
.
signature_item
#
val
map_module_type :
Typedtree
.
module_type
->
Typedtree
.
module_type
end
#
module
DefaultMapArgument :
MapArgument
end