Astlib.Migrate_504_503module From = Ast_504module To = Ast_503module Bivariant_param : sig ... endval bivariant_error : loc:Location.t -> 'aval copy_toplevel_phrase :
Ast_504.Parsetree.toplevel_phrase ->
Ast_503.Parsetree.toplevel_phraseval copy_toplevel_directive :
Ast_504.Parsetree.toplevel_directive ->
Ast_503.Parsetree.toplevel_directiveval copy_directive_argument :
Ast_504.Parsetree.directive_argument ->
Ast_503.Parsetree.directive_argumentval copy_directive_argument_desc :
Ast_504.Parsetree.directive_argument_desc ->
Ast_503.Parsetree.directive_argument_descval copy_expression :
Ast_504.Parsetree.expression ->
Ast_503.Parsetree.expressionval copy_expression_desc :
loc:Location.t ->
Ast_504.Parsetree.expression_desc ->
Ast_503.Parsetree.expression_descval copy_letop : Ast_504.Parsetree.letop -> Ast_503.Parsetree.letopval copy_binding_op :
Ast_504.Parsetree.binding_op ->
Ast_503.Parsetree.binding_opval copy_function_param_desc :
Ast_504.Parsetree.function_param_desc ->
Ast_503.Parsetree.function_param_descval copy_function_param :
Ast_504.Parsetree.function_param ->
Ast_503.Parsetree.function_paramval copy_function_body :
Ast_504.Parsetree.function_body ->
Ast_503.Parsetree.function_bodyval copy_type_constraint :
Ast_504.Parsetree.type_constraint ->
Ast_503.Parsetree.type_constraintval copy_direction_flag :
Ast_504.Asttypes.direction_flag ->
Ast_503.Asttypes.direction_flagval copy_case : Ast_504.Parsetree.case -> Ast_503.Parsetree.caseval copy_value_binding :
Ast_504.Parsetree.value_binding ->
Ast_503.Parsetree.value_bindingval copy_pattern : Ast_504.Parsetree.pattern -> Ast_503.Parsetree.patternval copy_pattern_desc :
Location.t ->
Ast_504.Parsetree.pattern_desc ->
Ast_503.Parsetree.pattern_descval copy_value_constraint :
Ast_504.Parsetree.value_constraint ->
Ast_503.Parsetree.value_constraintval copy_core_type : Ast_504.Parsetree.core_type -> Ast_503.Parsetree.core_typeval copy_location_stack :
Ast_504.Parsetree.location_stack ->
Ast_503.Parsetree.location_stackval copy_core_type_desc :
loc:Location.t ->
Ast_504.Parsetree.core_type_desc ->
Ast_503.Parsetree.core_type_descval copy_package_type :
Ast_504.Parsetree.package_type ->
Ast_503.Parsetree.package_typeval copy_row_field : Ast_504.Parsetree.row_field -> Ast_503.Parsetree.row_fieldval copy_row_field_desc :
Ast_504.Parsetree.row_field_desc ->
Ast_503.Parsetree.row_field_descval copy_object_field :
Ast_504.Parsetree.object_field ->
Ast_503.Parsetree.object_fieldval copy_attributes :
Ast_504.Parsetree.attributes ->
Ast_503.Parsetree.attributesval copy_attribute : Ast_504.Parsetree.attribute -> Ast_503.Parsetree.attributeval copy_payload : Ast_504.Parsetree.payload -> Ast_503.Parsetree.payloadval copy_structure : Ast_504.Parsetree.structure -> Ast_503.Parsetree.structureval copy_structure_item :
Ast_504.Parsetree.structure_item ->
Ast_503.Parsetree.structure_itemval copy_structure_item_desc_with_loc :
loc:Location.t ->
Ast_504.Parsetree.structure_item_desc ->
Ast_503.Parsetree.structure_item_descval copy_include_declaration :
Ast_504.Parsetree.include_declaration ->
Ast_503.Parsetree.include_declarationval copy_class_declaration_ :
Ast_504.Parsetree.class_declaration ->
bool * Ast_503.Parsetree.class_declarationval copy_class_expr :
Ast_504.Parsetree.class_expr ->
Ast_503.Parsetree.class_exprval copy_class_expr_desc :
Ast_504.Parsetree.class_expr_desc ->
Ast_503.Parsetree.class_expr_descval copy_class_structure :
Ast_504.Parsetree.class_structure ->
Ast_503.Parsetree.class_structureval copy_class_field :
Ast_504.Parsetree.class_field ->
Ast_503.Parsetree.class_fieldval copy_class_field_desc :
Ast_504.Parsetree.class_field_desc ->
Ast_503.Parsetree.class_field_descval copy_class_field_kind :
Ast_504.Parsetree.class_field_kind ->
Ast_503.Parsetree.class_field_kindval copy_open_declaration :
Ast_504.Parsetree.open_declaration ->
Ast_503.Parsetree.open_declarationval copy_module_binding :
Ast_504.Parsetree.module_binding ->
Ast_503.Parsetree.module_bindingval copy_module_expr :
Ast_504.Parsetree.module_expr ->
Ast_503.Parsetree.module_exprval copy_module_expr_desc :
Ast_504.Parsetree.module_expr_desc ->
Ast_503.Parsetree.module_expr_descval copy_functor_parameter :
Ast_504.Parsetree.functor_parameter ->
Ast_503.Parsetree.functor_parameterval copy_module_type :
Ast_504.Parsetree.module_type ->
Ast_503.Parsetree.module_typeval copy_module_type_desc_with_loc :
loc:Location.t ->
Ast_504.Parsetree.module_type_desc ->
Ast_503.Parsetree.module_type_descval copy_with_constraint_ :
Ast_504.Parsetree.with_constraint ->
bool * Ast_503.Parsetree.with_constraintval copy_signature : Ast_504.Parsetree.signature -> Ast_503.Parsetree.signatureval copy_signature_item :
Ast_504.Parsetree.signature_item ->
Ast_503.Parsetree.signature_itemval copy_signature_item_desc_with_loc :
loc:Location.t ->
Ast_504.Parsetree.signature_item_desc ->
Ast_503.Parsetree.signature_item_descval copy_class_type_declaration_ :
Ast_504.Parsetree.class_type_declaration ->
bool * Ast_503.Parsetree.class_type_declarationval copy_class_description_ :
Ast_504.Parsetree.class_description ->
bool * Ast_503.Parsetree.class_descriptionval copy_class_type :
Ast_504.Parsetree.class_type ->
Ast_503.Parsetree.class_typeval copy_class_type_desc :
Ast_504.Parsetree.class_type_desc ->
Ast_503.Parsetree.class_type_descval copy_class_signature :
Ast_504.Parsetree.class_signature ->
Ast_503.Parsetree.class_signatureval copy_class_type_field :
Ast_504.Parsetree.class_type_field ->
Ast_503.Parsetree.class_type_fieldval copy_class_type_field_desc :
Ast_504.Parsetree.class_type_field_desc ->
Ast_503.Parsetree.class_type_field_descval copy_extension : Ast_504.Parsetree.extension -> Ast_503.Parsetree.extensionval copy_class_infos_ :
'f0 'g0. ('f0 -> 'g0) ->
'f0 Ast_504.Parsetree.class_infos ->
bool * 'g0 Ast_503.Parsetree.class_infosval copy_virtual_flag :
Ast_504.Asttypes.virtual_flag ->
Ast_503.Asttypes.virtual_flagval copy_include_description :
Ast_504.Parsetree.include_description ->
Ast_503.Parsetree.include_descriptionval copy_include_infos :
'f0 'g0. ('f0 -> 'g0) ->
'f0 Ast_504.Parsetree.include_infos ->
'g0 Ast_503.Parsetree.include_infosval copy_open_description :
Ast_504.Parsetree.open_description ->
Ast_503.Parsetree.open_descriptionval copy_open_infos :
'f0 'g0. ('f0 -> 'g0) ->
'f0 Ast_504.Parsetree.open_infos ->
'g0 Ast_503.Parsetree.open_infosval copy_override_flag :
Ast_504.Asttypes.override_flag ->
Ast_503.Asttypes.override_flagval copy_module_type_declaration :
Ast_504.Parsetree.module_type_declaration ->
Ast_503.Parsetree.module_type_declarationval copy_module_substitution :
Ast_504.Parsetree.module_substitution ->
Ast_503.Parsetree.module_substitutionval copy_module_declaration :
Ast_504.Parsetree.module_declaration ->
Ast_503.Parsetree.module_declarationval copy_type_exception :
Ast_504.Parsetree.type_exception ->
Ast_503.Parsetree.type_exceptionval copy_type_extension_ :
Ast_504.Parsetree.type_extension ->
bool * Ast_503.Parsetree.type_extensionval copy_extension_constructor :
Ast_504.Parsetree.extension_constructor ->
Ast_503.Parsetree.extension_constructorval copy_extension_constructor_kind :
Ast_504.Parsetree.extension_constructor_kind ->
Ast_503.Parsetree.extension_constructor_kindval copy_type_params :
(Ast_504.Parsetree.core_type
* (Ast_504.Asttypes.variance * Ast_504.Asttypes.injectivity))
list ->
bool
* (Ast_503.Parsetree.core_type
* (Ast_503.Asttypes.variance * Ast_503.Asttypes.injectivity))
listval copy_type_declaration_ :
Ast_504.Parsetree.type_declaration ->
bool * Ast_503.Parsetree.type_declarationval copy_private_flag :
Ast_504.Asttypes.private_flag ->
Ast_503.Asttypes.private_flagval copy_type_kind : Ast_504.Parsetree.type_kind -> Ast_503.Parsetree.type_kindval copy_constructor_declaration :
Ast_504.Parsetree.constructor_declaration ->
Ast_503.Parsetree.constructor_declarationval copy_constructor_arguments :
Ast_504.Parsetree.constructor_arguments ->
Ast_503.Parsetree.constructor_argumentsval copy_label_declaration :
Ast_504.Parsetree.label_declaration ->
Ast_503.Parsetree.label_declarationval copy_mutable_flag :
Ast_504.Asttypes.mutable_flag ->
Ast_503.Asttypes.mutable_flagval copy_injectivity :
Ast_504.Asttypes.injectivity ->
Ast_503.Asttypes.injectivityval copy_variance : Ast_504.Asttypes.variance -> Ast_503.Asttypes.varianceval copy_value_description :
Ast_504.Parsetree.value_description ->
Ast_503.Parsetree.value_descriptionval copy_object_field_desc :
Ast_504.Parsetree.object_field_desc ->
Ast_503.Parsetree.object_field_descval copy_arg_label : Ast_504.Asttypes.arg_label -> Ast_503.Asttypes.arg_labelval copy_closed_flag :
Ast_504.Asttypes.closed_flag ->
Ast_503.Asttypes.closed_flagval copy_label : Ast_504.Asttypes.label -> Ast_503.Asttypes.labelval copy_rec_flag : Ast_504.Asttypes.rec_flag -> Ast_503.Asttypes.rec_flagval copy_constant : Ast_504.Parsetree.constant -> Ast_503.Parsetree.constantval copy_Longident_t : Ast_504.Longident.t -> Longident.tval copy_loc :
'f0 'g0. ('f0 -> 'g0) ->
'f0 Ast_504.Asttypes.loc ->
'g0 Ast_503.Asttypes.locval copy_location : Location.t -> Location.tThe functions below are provided to keep a coherent and stable API with other migrate_X_Y modules while allowing us to locally define variations of those functions used to encode 5.4 features into the 5.3 AST.
val copy_structure_item_desc :
Ast_504.Parsetree.structure_item_desc ->
Ast_503.Parsetree.structure_item_descval copy_module_type_desc :
Ast_504.Parsetree.module_type_desc ->
Ast_503.Parsetree.module_type_descval copy_signature_item_desc :
Ast_504.Parsetree.signature_item_desc ->
Ast_503.Parsetree.signature_item_descval copy_class_infos :
'f0 'g0. ('f0 -> 'g0) ->
'f0 Ast_504.Parsetree.class_infos ->
'g0 Ast_503.Parsetree.class_infosval copy_class_declaration :
Ast_504.Parsetree.class_declaration ->
Ast_503.Parsetree.class_declarationval copy_with_constraint :
Ast_504.Parsetree.with_constraint ->
Ast_503.Parsetree.with_constraintval copy_class_type_declaration :
Ast_504.Parsetree.class_type_declaration ->
Ast_503.Parsetree.class_type_declarationval copy_class_description :
Ast_504.Parsetree.class_description ->
Ast_503.Parsetree.class_descriptionval copy_type_extension :
Ast_504.Parsetree.type_extension ->
Ast_503.Parsetree.type_extensionval copy_type_declaration :
Ast_504.Parsetree.type_declaration ->
Ast_503.Parsetree.type_declaration