ast_lifter_408.ml

open Migrate_parsetree.Ast_408

class virtual ['res] lifter =
  object (this)
    method lift_Parsetree_expression : Parsetree.expression -> 'res=
      (fun
         { Parsetree.pexp_desc = pexp_desc;
           Parsetree.pexp_loc = pexp_loc;
           Parsetree.pexp_loc_stack = pexp_loc_stack;
           Parsetree.pexp_attributes = pexp_attributes }
         ->
         this#record "Ast_408.Parsetree.expression"
           [("pexp_desc", (this#lift_Parsetree_expression_desc pexp_desc));
           ("pexp_loc", (this#lift_Location_t pexp_loc));
           ("pexp_loc_stack", (this#lift_loc_stack pexp_loc_stack));
           ("pexp_attributes",
             (this#lift_Parsetree_attributes pexp_attributes))] : Parsetree.expression
                                                                    ->
                                                                    'res)
    method lift_Parsetree_expression_desc :
      Parsetree.expression_desc -> 'res=
      (function
       | Parsetree.Pexp_ident x0 ->
           this#constr "Ast_408.Parsetree.expression_desc"
             ("Pexp_ident", [this#lift_loc this#lift_Longident_t x0])
       | Parsetree.Pexp_constant x0 ->
           this#constr "Ast_408.Parsetree.expression_desc"
             ("Pexp_constant", [this#lift_Parsetree_constant x0])
       | Parsetree.Pexp_let (x0, x1, x2) ->
           this#constr "Ast_408.Parsetree.expression_desc"
             ("Pexp_let",
               [this#lift_rec_flag x0;
               this#list (List.map this#lift_Parsetree_value_binding x1);
               this#lift_Parsetree_expression x2])
       | Parsetree.Pexp_function x0 ->
           this#constr "Ast_408.Parsetree.expression_desc"
             ("Pexp_function", [this#lift_Parsetree_cases x0])
       | Parsetree.Pexp_fun (x0, x1, x2, x3) ->
           this#constr "Ast_408.Parsetree.expression_desc"
             ("Pexp_fun",
               [this#lift_arg_label x0;
               this#lift_option this#lift_Parsetree_expression x1;
               this#lift_Parsetree_pattern x2;
               this#lift_Parsetree_expression x3])
       | Parsetree.Pexp_apply (x0, x1) ->
           this#constr "Ast_408.Parsetree.expression_desc"
             ("Pexp_apply",
               [this#lift_Parsetree_expression x0;
               this#list
                 (List.map
                    (fun x ->
                       let (x0, x1) = x in
                       this#tuple
                         [this#lift_arg_label x0;
                         this#lift_Parsetree_expression x1]) x1)])
       | Parsetree.Pexp_match (x0, x1) ->
           this#constr "Ast_408.Parsetree.expression_desc"
             ("Pexp_match",
               [this#lift_Parsetree_expression x0;
               this#lift_Parsetree_cases x1])
       | Parsetree.Pexp_try (x0, x1) ->
           this#constr "Ast_408.Parsetree.expression_desc"
             ("Pexp_try",
               [this#lift_Parsetree_expression x0;
               this#lift_Parsetree_cases x1])
       | Parsetree.Pexp_tuple x0 ->
           this#constr "Ast_408.Parsetree.expression_desc"
             ("Pexp_tuple",
               [this#list (List.map this#lift_Parsetree_expression x0)])
       | Parsetree.Pexp_construct (x0, x1) ->
           this#constr "Ast_408.Parsetree.expression_desc"
             ("Pexp_construct",
               [this#lift_loc this#lift_Longident_t x0;
               this#lift_option this#lift_Parsetree_expression x1])
       | Parsetree.Pexp_variant (x0, x1) ->
           this#constr "Ast_408.Parsetree.expression_desc"
             ("Pexp_variant",
               [this#lift_label x0;
               this#lift_option this#lift_Parsetree_expression x1])
       | Parsetree.Pexp_record (x0, x1) ->
           this#constr "Ast_408.Parsetree.expression_desc"
             ("Pexp_record",
               [this#list
                  (List.map
                     (fun x ->
                        let (x0, x1) = x in
                        this#tuple
                          [this#lift_loc this#lift_Longident_t x0;
                          this#lift_Parsetree_expression x1]) x0);
               this#lift_option this#lift_Parsetree_expression x1])
       | Parsetree.Pexp_field (x0, x1) ->
           this#constr "Ast_408.Parsetree.expression_desc"
             ("Pexp_field",
               [this#lift_Parsetree_expression x0;
               this#lift_loc this#lift_Longident_t x1])
       | Parsetree.Pexp_setfield (x0, x1, x2) ->
           this#constr "Ast_408.Parsetree.expression_desc"
             ("Pexp_setfield",
               [this#lift_Parsetree_expression x0;
               this#lift_loc this#lift_Longident_t x1;
               this#lift_Parsetree_expression x2])
       | Parsetree.Pexp_array x0 ->
           this#constr "Ast_408.Parsetree.expression_desc"
             ("Pexp_array",
               [this#list (List.map this#lift_Parsetree_expression x0)])
       | Parsetree.Pexp_ifthenelse (x0, x1, x2) ->
           this#constr "Ast_408.Parsetree.expression_desc"
             ("Pexp_ifthenelse",
               [this#lift_Parsetree_expression x0;
               this#lift_Parsetree_expression x1;
               this#lift_option this#lift_Parsetree_expression x2])
       | Parsetree.Pexp_sequence (x0, x1) ->
           this#constr "Ast_408.Parsetree.expression_desc"
             ("Pexp_sequence",
               [this#lift_Parsetree_expression x0;
               this#lift_Parsetree_expression x1])
       | Parsetree.Pexp_while (x0, x1) ->
           this#constr "Ast_408.Parsetree.expression_desc"
             ("Pexp_while",
               [this#lift_Parsetree_expression x0;
               this#lift_Parsetree_expression x1])
       | Parsetree.Pexp_for (x0, x1, x2, x3, x4) ->
           this#constr "Ast_408.Parsetree.expression_desc"
             ("Pexp_for",
               [this#lift_Parsetree_pattern x0;
               this#lift_Parsetree_expression x1;
               this#lift_Parsetree_expression x2;
               this#lift_direction_flag x3;
               this#lift_Parsetree_expression x4])
       | Parsetree.Pexp_constraint (x0, x1) ->
           this#constr "Ast_408.Parsetree.expression_desc"
             ("Pexp_constraint",
               [this#lift_Parsetree_expression x0;
               this#lift_Parsetree_core_type x1])
       | Parsetree.Pexp_coerce (x0, x1, x2) ->
           this#constr "Ast_408.Parsetree.expression_desc"
             ("Pexp_coerce",
               [this#lift_Parsetree_expression x0;
               this#lift_option this#lift_Parsetree_core_type x1;
               this#lift_Parsetree_core_type x2])
       | Parsetree.Pexp_send (x0, x1) ->
           this#constr "Ast_408.Parsetree.expression_desc"
             ("Pexp_send",
               [this#lift_Parsetree_expression x0;
               this#lift_loc this#lift_label x1])
       | Parsetree.Pexp_new x0 ->
           this#constr "Ast_408.Parsetree.expression_desc"
             ("Pexp_new", [this#lift_loc this#lift_Longident_t x0])
       | Parsetree.Pexp_setinstvar (x0, x1) ->
           this#constr "Ast_408.Parsetree.expression_desc"
             ("Pexp_setinstvar",
               [this#lift_loc this#lift_label x0;
               this#lift_Parsetree_expression x1])
       | Parsetree.Pexp_override x0 ->
           this#constr "Ast_408.Parsetree.expression_desc"
             ("Pexp_override",
               [this#list
                  (List.map
                     (fun x ->
                        let (x0, x1) = x in
                        this#tuple
                          [this#lift_loc this#lift_label x0;
                          this#lift_Parsetree_expression x1]) x0)])
       | Parsetree.Pexp_letmodule (x0, x1, x2) ->
           this#constr "Ast_408.Parsetree.expression_desc"
             ("Pexp_letmodule",
               [this#lift_loc this#string x0;
               this#lift_Parsetree_module_expr x1;
               this#lift_Parsetree_expression x2])
       | Parsetree.Pexp_letexception (x0, x1) ->
           this#constr "Ast_408.Parsetree.expression_desc"
             ("Pexp_letexception",
               [this#lift_Parsetree_extension_constructor x0;
               this#lift_Parsetree_expression x1])
       | Parsetree.Pexp_assert x0 ->
           this#constr "Ast_408.Parsetree.expression_desc"
             ("Pexp_assert", [this#lift_Parsetree_expression x0])
       | Parsetree.Pexp_lazy x0 ->
           this#constr "Ast_408.Parsetree.expression_desc"
             ("Pexp_lazy", [this#lift_Parsetree_expression x0])
       | Parsetree.Pexp_poly (x0, x1) ->
           this#constr "Ast_408.Parsetree.expression_desc"
             ("Pexp_poly",
               [this#lift_Parsetree_expression x0;
               this#lift_option this#lift_Parsetree_core_type x1])
       | Parsetree.Pexp_object x0 ->
           this#constr "Ast_408.Parsetree.expression_desc"
             ("Pexp_object", [this#lift_Parsetree_class_structure x0])
       | Parsetree.Pexp_newtype (x0, x1) ->
           this#constr "Ast_408.Parsetree.expression_desc"
             ("Pexp_newtype",
               [this#lift_loc this#string x0;
               this#lift_Parsetree_expression x1])
       | Parsetree.Pexp_pack x0 ->
           this#constr "Ast_408.Parsetree.expression_desc"
             ("Pexp_pack", [this#lift_Parsetree_module_expr x0])
       | Parsetree.Pexp_open (x0, x1) ->
           this#constr "Ast_408.Parsetree.expression_desc"
             ("Pexp_open",
               [this#lift_Parsetree_open_declaration x0;
               this#lift_Parsetree_expression x1])
       | Parsetree.Pexp_letop x0 ->
           this#constr "Ast_408.Parsetree.expression_desc"
             ("Pexp_letop", [this#lift_Parsetree_letop x0])
       | Parsetree.Pexp_extension x0 ->
           this#constr "Ast_408.Parsetree.expression_desc"
             ("Pexp_extension", [this#lift_Parsetree_extension x0])
       | Parsetree.Pexp_unreachable ->
           this#constr "Ast_408.Parsetree.expression_desc"
             ("Pexp_unreachable", []) : Parsetree.expression_desc ->
                                          'res)
    method lift_Parsetree_letop : Parsetree.letop -> 'res=
      (fun
         { Parsetree.let_ = let_; Parsetree.ands = ands;
           Parsetree.body = body }
         ->
         this#record "Ast_408.Parsetree.letop"
           [("let_", (this#lift_Parsetree_binding_op let_));
           ("ands",
             (this#list (List.map this#lift_Parsetree_binding_op ands)));
           ("body", (this#lift_Parsetree_expression body))] : Parsetree.letop
                                                                -> 'res)
    method lift_Parsetree_binding_op : Parsetree.binding_op -> 'res=
      (fun
         { Parsetree.pbop_op = pbop_op;
           Parsetree.pbop_pat = pbop_pat;
           Parsetree.pbop_exp = pbop_exp;
           Parsetree.pbop_loc = pbop_loc }
         ->
         this#record "Ast_408.Parsetree.binding_op"
           [("pbop_op", (this#lift_loc this#string pbop_op));
           ("pbop_pat", (this#lift_Parsetree_pattern pbop_pat));
           ("pbop_exp", (this#lift_Parsetree_expression pbop_exp));
           ("pbop_loc", (this#lift_Location_t pbop_loc))] : Parsetree.binding_op
                                                              -> 'res)
    method lift_direction_flag :
      Migrate_parsetree__Ast_408.Asttypes.direction_flag -> 'res=
      (function
       | Migrate_parsetree__Ast_408.Asttypes.Upto ->
           this#constr "Migrate_parsetree__Ast_408.Asttypes.direction_flag"
             ("Upto", [])
       | Migrate_parsetree__Ast_408.Asttypes.Downto ->
           this#constr "Migrate_parsetree__Ast_408.Asttypes.direction_flag"
             ("Downto", []) : Migrate_parsetree__Ast_408.Asttypes.direction_flag
                                -> 'res)
    method lift_Parsetree_cases : Parsetree.case list -> 'res=
      (fun x -> this#list (List.map this#lift_Parsetree_case x) : Parsetree.case list
                                                                    ->
                                                                    'res)
    method lift_Parsetree_case : Parsetree.case -> 'res=
      (fun
         { Parsetree.pc_lhs = pc_lhs;
           Parsetree.pc_guard = pc_guard;
           Parsetree.pc_rhs = pc_rhs }
         ->
         this#record "Ast_408.Parsetree.case"
           [("pc_lhs", (this#lift_Parsetree_pattern pc_lhs));
           ("pc_guard",
             (this#lift_option this#lift_Parsetree_expression pc_guard));
           ("pc_rhs", (this#lift_Parsetree_expression pc_rhs))] : Parsetree.case
                                                                    ->
                                                                    'res)
    method lift_Parsetree_value_binding :
      Parsetree.value_binding -> 'res=
      (fun
         { Parsetree.pvb_pat = pvb_pat;
           Parsetree.pvb_expr = pvb_expr;
           Parsetree.pvb_attributes = pvb_attributes;
           Parsetree.pvb_loc = pvb_loc }
         ->
         this#record "Ast_408.Parsetree.value_binding"
           [("pvb_pat", (this#lift_Parsetree_pattern pvb_pat));
           ("pvb_expr", (this#lift_Parsetree_expression pvb_expr));
           ("pvb_attributes",
             (this#lift_Parsetree_attributes pvb_attributes));
           ("pvb_loc", (this#lift_Location_t pvb_loc))] : Parsetree.value_binding
                                                            -> 'res)
    method lift_Parsetree_pattern : Parsetree.pattern -> 'res=
      (fun
         { Parsetree.ppat_desc = ppat_desc;
           Parsetree.ppat_loc = ppat_loc;
           Parsetree.ppat_loc_stack = ppat_loc_stack;
           Parsetree.ppat_attributes = ppat_attributes }
         ->
         this#record "Ast_408.Parsetree.pattern"
           [("ppat_desc", (this#lift_Parsetree_pattern_desc ppat_desc));
           ("ppat_loc", (this#lift_Location_t ppat_loc));
           ("ppat_loc_stack", (this#lift_loc_stack ppat_loc_stack));
           ("ppat_attributes",
             (this#lift_Parsetree_attributes ppat_attributes))] : Parsetree.pattern
                                                                    ->
                                                                    'res)
    method lift_Parsetree_pattern_desc :
      Parsetree.pattern_desc -> 'res=
      (function
       | Parsetree.Ppat_any ->
           this#constr "Ast_408.Parsetree.pattern_desc" ("Ppat_any", [])
       | Parsetree.Ppat_var x0 ->
           this#constr "Ast_408.Parsetree.pattern_desc"
             ("Ppat_var", [this#lift_loc this#string x0])
       | Parsetree.Ppat_alias (x0, x1) ->
           this#constr "Ast_408.Parsetree.pattern_desc"
             ("Ppat_alias",
               [this#lift_Parsetree_pattern x0; this#lift_loc this#string x1])
       | Parsetree.Ppat_constant x0 ->
           this#constr "Ast_408.Parsetree.pattern_desc"
             ("Ppat_constant", [this#lift_Parsetree_constant x0])
       | Parsetree.Ppat_interval (x0, x1) ->
           this#constr "Ast_408.Parsetree.pattern_desc"
             ("Ppat_interval",
               [this#lift_Parsetree_constant x0;
               this#lift_Parsetree_constant x1])
       | Parsetree.Ppat_tuple x0 ->
           this#constr "Ast_408.Parsetree.pattern_desc"
             ("Ppat_tuple",
               [this#list (List.map this#lift_Parsetree_pattern x0)])
       | Parsetree.Ppat_construct (x0, x1) ->
           this#constr "Ast_408.Parsetree.pattern_desc"
             ("Ppat_construct",
               [this#lift_loc this#lift_Longident_t x0;
               this#lift_option this#lift_Parsetree_pattern x1])
       | Parsetree.Ppat_variant (x0, x1) ->
           this#constr "Ast_408.Parsetree.pattern_desc"
             ("Ppat_variant",
               [this#lift_label x0;
               this#lift_option this#lift_Parsetree_pattern x1])
       | Parsetree.Ppat_record (x0, x1) ->
           this#constr "Ast_408.Parsetree.pattern_desc"
             ("Ppat_record",
               [this#list
                  (List.map
                     (fun x ->
                        let (x0, x1) = x in
                        this#tuple
                          [this#lift_loc this#lift_Longident_t x0;
                          this#lift_Parsetree_pattern x1]) x0);
               this#lift_closed_flag x1])
       | Parsetree.Ppat_array x0 ->
           this#constr "Ast_408.Parsetree.pattern_desc"
             ("Ppat_array",
               [this#list (List.map this#lift_Parsetree_pattern x0)])
       | Parsetree.Ppat_or (x0, x1) ->
           this#constr "Ast_408.Parsetree.pattern_desc"
             ("Ppat_or",
               [this#lift_Parsetree_pattern x0;
               this#lift_Parsetree_pattern x1])
       | Parsetree.Ppat_constraint (x0, x1) ->
           this#constr "Ast_408.Parsetree.pattern_desc"
             ("Ppat_constraint",
               [this#lift_Parsetree_pattern x0;
               this#lift_Parsetree_core_type x1])
       | Parsetree.Ppat_type x0 ->
           this#constr "Ast_408.Parsetree.pattern_desc"
             ("Ppat_type", [this#lift_loc this#lift_Longident_t x0])
       | Parsetree.Ppat_lazy x0 ->
           this#constr "Ast_408.Parsetree.pattern_desc"
             ("Ppat_lazy", [this#lift_Parsetree_pattern x0])
       | Parsetree.Ppat_unpack x0 ->
           this#constr "Ast_408.Parsetree.pattern_desc"
             ("Ppat_unpack", [this#lift_loc this#string x0])
       | Parsetree.Ppat_exception x0 ->
           this#constr "Ast_408.Parsetree.pattern_desc"
             ("Ppat_exception", [this#lift_Parsetree_pattern x0])
       | Parsetree.Ppat_extension x0 ->
           this#constr "Ast_408.Parsetree.pattern_desc"
             ("Ppat_extension", [this#lift_Parsetree_extension x0])
       | Parsetree.Ppat_open (x0, x1) ->
           this#constr "Ast_408.Parsetree.pattern_desc"
             ("Ppat_open",
               [this#lift_loc this#lift_Longident_t x0;
               this#lift_Parsetree_pattern x1]) : Parsetree.pattern_desc
                                                    -> 'res)
    method lift_Parsetree_core_type : Parsetree.core_type -> 'res=
      (fun
         { Parsetree.ptyp_desc = ptyp_desc;
           Parsetree.ptyp_loc = ptyp_loc;
           Parsetree.ptyp_loc_stack = ptyp_loc_stack;
           Parsetree.ptyp_attributes = ptyp_attributes }
         ->
         this#record "Ast_408.Parsetree.core_type"
           [("ptyp_desc", (this#lift_Parsetree_core_type_desc ptyp_desc));
           ("ptyp_loc", (this#lift_Location_t ptyp_loc));
           ("ptyp_loc_stack", (this#lift_loc_stack ptyp_loc_stack));
           ("ptyp_attributes",
             (this#lift_Parsetree_attributes ptyp_attributes))] : Parsetree.core_type
                                                                    ->
                                                                    'res)
    method lift_Parsetree_core_type_desc :
      Parsetree.core_type_desc -> 'res=
      (function
       | Parsetree.Ptyp_any ->
           this#constr "Ast_408.Parsetree.core_type_desc" ("Ptyp_any", [])
       | Parsetree.Ptyp_var x0 ->
           this#constr "Ast_408.Parsetree.core_type_desc"
             ("Ptyp_var", [this#string x0])
       | Parsetree.Ptyp_arrow (x0, x1, x2) ->
           this#constr "Ast_408.Parsetree.core_type_desc"
             ("Ptyp_arrow",
               [this#lift_arg_label x0;
               this#lift_Parsetree_core_type x1;
               this#lift_Parsetree_core_type x2])
       | Parsetree.Ptyp_tuple x0 ->
           this#constr "Ast_408.Parsetree.core_type_desc"
             ("Ptyp_tuple",
               [this#list (List.map this#lift_Parsetree_core_type x0)])
       | Parsetree.Ptyp_constr (x0, x1) ->
           this#constr "Ast_408.Parsetree.core_type_desc"
             ("Ptyp_constr",
               [this#lift_loc this#lift_Longident_t x0;
               this#list (List.map this#lift_Parsetree_core_type x1)])
       | Parsetree.Ptyp_object (x0, x1) ->
           this#constr "Ast_408.Parsetree.core_type_desc"
             ("Ptyp_object",
               [this#list (List.map this#lift_Parsetree_object_field x0);
               this#lift_closed_flag x1])
       | Parsetree.Ptyp_class (x0, x1) ->
           this#constr "Ast_408.Parsetree.core_type_desc"
             ("Ptyp_class",
               [this#lift_loc this#lift_Longident_t x0;
               this#list (List.map this#lift_Parsetree_core_type x1)])
       | Parsetree.Ptyp_alias (x0, x1) ->
           this#constr "Ast_408.Parsetree.core_type_desc"
             ("Ptyp_alias",
               [this#lift_Parsetree_core_type x0; this#string x1])
       | Parsetree.Ptyp_variant (x0, x1, x2) ->
           this#constr "Ast_408.Parsetree.core_type_desc"
             ("Ptyp_variant",
               [this#list (List.map this#lift_Parsetree_row_field x0);
               this#lift_closed_flag x1;
               this#lift_option
                 (fun x -> this#list (List.map this#lift_label x)) x2])
       | Parsetree.Ptyp_poly (x0, x1) ->
           this#constr "Ast_408.Parsetree.core_type_desc"
             ("Ptyp_poly",
               [this#list
                  (List.map (fun x -> this#lift_loc this#string x) x0);
               this#lift_Parsetree_core_type x1])
       | Parsetree.Ptyp_package x0 ->
           this#constr "Ast_408.Parsetree.core_type_desc"
             ("Ptyp_package", [this#lift_Parsetree_package_type x0])
       | Parsetree.Ptyp_extension x0 ->
           this#constr "Ast_408.Parsetree.core_type_desc"
             ("Ptyp_extension", [this#lift_Parsetree_extension x0]) :
      Parsetree.core_type_desc -> 'res)
    method lift_Parsetree_package_type :
      Parsetree.package_type -> 'res=
      (fun x ->
         let (x0, x1) = x in
         this#tuple
           [this#lift_loc this#lift_Longident_t x0;
           this#list
             (List.map
                (fun x ->
                   let (x0, x1) = x in
                   this#tuple
                     [this#lift_loc this#lift_Longident_t x0;
                     this#lift_Parsetree_core_type x1]) x1)] : Parsetree.package_type
                                                                 -> 'res)
    method lift_Parsetree_row_field : Parsetree.row_field -> 'res=
      (fun
         { Parsetree.prf_desc = prf_desc;
           Parsetree.prf_loc = prf_loc;
           Parsetree.prf_attributes = prf_attributes }
         ->
         this#record "Ast_408.Parsetree.row_field"
           [("prf_desc", (this#lift_Parsetree_row_field_desc prf_desc));
           ("prf_loc", (this#lift_Location_t prf_loc));
           ("prf_attributes",
             (this#lift_Parsetree_attributes prf_attributes))] : Parsetree.row_field
                                                                   ->
                                                                   'res)
    method lift_Parsetree_row_field_desc :
      Parsetree.row_field_desc -> 'res=
      (function
       | Parsetree.Rtag (x0, x1, x2) ->
           this#constr "Ast_408.Parsetree.row_field_desc"
             ("Rtag",
               [this#lift_loc this#lift_label x0;
               this#lift_bool x1;
               this#list (List.map this#lift_Parsetree_core_type x2)])
       | Parsetree.Rinherit x0 ->
           this#constr "Ast_408.Parsetree.row_field_desc"
             ("Rinherit", [this#lift_Parsetree_core_type x0]) : Parsetree.row_field_desc
                                                                  ->
                                                                  'res)
    method lift_Parsetree_object_field :
      Parsetree.object_field -> 'res=
      (fun
         { Parsetree.pof_desc = pof_desc;
           Parsetree.pof_loc = pof_loc;
           Parsetree.pof_attributes = pof_attributes }
         ->
         this#record "Ast_408.Parsetree.object_field"
           [("pof_desc", (this#lift_Parsetree_object_field_desc pof_desc));
           ("pof_loc", (this#lift_Location_t pof_loc));
           ("pof_attributes",
             (this#lift_Parsetree_attributes pof_attributes))] : Parsetree.object_field
                                                                   ->
                                                                   'res)
    method lift_Parsetree_attributes : Parsetree.attributes -> 'res=
      (fun x -> this#list (List.map this#lift_Parsetree_attribute x) :
      Parsetree.attributes -> 'res)
    method lift_Parsetree_attribute : Parsetree.attribute -> 'res=
      (fun
         { Parsetree.attr_name = attr_name;
           Parsetree.attr_payload = attr_payload;
           Parsetree.attr_loc = attr_loc }
         ->
         this#record "Ast_408.Parsetree.attribute"
           [("attr_name", (this#lift_loc this#string attr_name));
           ("attr_payload", (this#lift_Parsetree_payload attr_payload));
           ("attr_loc", (this#lift_Location_t attr_loc))] : Parsetree.attribute
                                                              -> 'res)
    method lift_Parsetree_payload : Parsetree.payload -> 'res=
      (function
       | Parsetree.PStr x0 ->
           this#constr "Ast_408.Parsetree.payload"
             ("PStr", [this#lift_Parsetree_structure x0])
       | Parsetree.PSig x0 ->
           this#constr "Ast_408.Parsetree.payload"
             ("PSig", [this#lift_Parsetree_signature x0])
       | Parsetree.PTyp x0 ->
           this#constr "Ast_408.Parsetree.payload"
             ("PTyp", [this#lift_Parsetree_core_type x0])
       | Parsetree.PPat (x0, x1) ->
           this#constr "Ast_408.Parsetree.payload"
             ("PPat",
               [this#lift_Parsetree_pattern x0;
               this#lift_option this#lift_Parsetree_expression x1]) :
      Parsetree.payload -> 'res)
    method lift_Parsetree_structure : Parsetree.structure -> 'res=
      (fun x -> this#list (List.map this#lift_Parsetree_structure_item x) :
      Parsetree.structure -> 'res)
    method lift_Parsetree_structure_item :
      Parsetree.structure_item -> 'res=
      (fun
         { Parsetree.pstr_desc = pstr_desc;
           Parsetree.pstr_loc = pstr_loc }
         ->
         this#record "Ast_408.Parsetree.structure_item"
           [("pstr_desc",
              (this#lift_Parsetree_structure_item_desc pstr_desc));
           ("pstr_loc", (this#lift_Location_t pstr_loc))] : Parsetree.structure_item
                                                              -> 'res)
    method lift_Parsetree_structure_item_desc :
      Parsetree.structure_item_desc -> 'res=
      (function
       | Parsetree.Pstr_eval (x0, x1) ->
           this#constr "Ast_408.Parsetree.structure_item_desc"
             ("Pstr_eval",
               [this#lift_Parsetree_expression x0;
               this#lift_Parsetree_attributes x1])
       | Parsetree.Pstr_value (x0, x1) ->
           this#constr "Ast_408.Parsetree.structure_item_desc"
             ("Pstr_value",
               [this#lift_rec_flag x0;
               this#list (List.map this#lift_Parsetree_value_binding x1)])
       | Parsetree.Pstr_primitive x0 ->
           this#constr "Ast_408.Parsetree.structure_item_desc"
             ("Pstr_primitive", [this#lift_Parsetree_value_description x0])
       | Parsetree.Pstr_type (x0, x1) ->
           this#constr "Ast_408.Parsetree.structure_item_desc"
             ("Pstr_type",
               [this#lift_rec_flag x0;
               this#list (List.map this#lift_Parsetree_type_declaration x1)])
       | Parsetree.Pstr_typext x0 ->
           this#constr "Ast_408.Parsetree.structure_item_desc"
             ("Pstr_typext", [this#lift_Parsetree_type_extension x0])
       | Parsetree.Pstr_exception x0 ->
           this#constr "Ast_408.Parsetree.structure_item_desc"
             ("Pstr_exception", [this#lift_Parsetree_type_exception x0])
       | Parsetree.Pstr_module x0 ->
           this#constr "Ast_408.Parsetree.structure_item_desc"
             ("Pstr_module", [this#lift_Parsetree_module_binding x0])
       | Parsetree.Pstr_recmodule x0 ->
           this#constr "Ast_408.Parsetree.structure_item_desc"
             ("Pstr_recmodule",
               [this#list (List.map this#lift_Parsetree_module_binding x0)])
       | Parsetree.Pstr_modtype x0 ->
           this#constr "Ast_408.Parsetree.structure_item_desc"
             ("Pstr_modtype",
               [this#lift_Parsetree_module_type_declaration x0])
       | Parsetree.Pstr_open x0 ->
           this#constr "Ast_408.Parsetree.structure_item_desc"
             ("Pstr_open", [this#lift_Parsetree_open_declaration x0])
       | Parsetree.Pstr_class x0 ->
           this#constr "Ast_408.Parsetree.structure_item_desc"
             ("Pstr_class",
               [this#list (List.map this#lift_Parsetree_class_declaration x0)])
       | Parsetree.Pstr_class_type x0 ->
           this#constr "Ast_408.Parsetree.structure_item_desc"
             ("Pstr_class_type",
               [this#list
                  (List.map this#lift_Parsetree_class_type_declaration x0)])
       | Parsetree.Pstr_include x0 ->
           this#constr "Ast_408.Parsetree.structure_item_desc"
             ("Pstr_include", [this#lift_Parsetree_include_declaration x0])
       | Parsetree.Pstr_attribute x0 ->
           this#constr "Ast_408.Parsetree.structure_item_desc"
             ("Pstr_attribute", [this#lift_Parsetree_attribute x0])
       | Parsetree.Pstr_extension (x0, x1) ->
           this#constr "Ast_408.Parsetree.structure_item_desc"
             ("Pstr_extension",
               [this#lift_Parsetree_extension x0;
               this#lift_Parsetree_attributes x1]) : Parsetree.structure_item_desc
                                                       -> 'res)
    method lift_Parsetree_include_declaration :
      Parsetree.include_declaration -> 'res=
      (fun x ->
         this#lift_Parsetree_include_infos this#lift_Parsetree_module_expr x :
      Parsetree.include_declaration -> 'res)
    method lift_Parsetree_class_declaration :
      Parsetree.class_declaration -> 'res=
      (fun x ->
         this#lift_Parsetree_class_infos this#lift_Parsetree_class_expr x :
      Parsetree.class_declaration -> 'res)
    method lift_Parsetree_class_expr : Parsetree.class_expr -> 'res=
      (fun
         { Parsetree.pcl_desc = pcl_desc;
           Parsetree.pcl_loc = pcl_loc;
           Parsetree.pcl_attributes = pcl_attributes }
         ->
         this#record "Ast_408.Parsetree.class_expr"
           [("pcl_desc", (this#lift_Parsetree_class_expr_desc pcl_desc));
           ("pcl_loc", (this#lift_Location_t pcl_loc));
           ("pcl_attributes",
             (this#lift_Parsetree_attributes pcl_attributes))] : Parsetree.class_expr
                                                                   ->
                                                                   'res)
    method lift_Parsetree_class_expr_desc :
      Parsetree.class_expr_desc -> 'res=
      (function
       | Parsetree.Pcl_constr (x0, x1) ->
           this#constr "Ast_408.Parsetree.class_expr_desc"
             ("Pcl_constr",
               [this#lift_loc this#lift_Longident_t x0;
               this#list (List.map this#lift_Parsetree_core_type x1)])
       | Parsetree.Pcl_structure x0 ->
           this#constr "Ast_408.Parsetree.class_expr_desc"
             ("Pcl_structure", [this#lift_Parsetree_class_structure x0])
       | Parsetree.Pcl_fun (x0, x1, x2, x3) ->
           this#constr "Ast_408.Parsetree.class_expr_desc"
             ("Pcl_fun",
               [this#lift_arg_label x0;
               this#lift_option this#lift_Parsetree_expression x1;
               this#lift_Parsetree_pattern x2;
               this#lift_Parsetree_class_expr x3])
       | Parsetree.Pcl_apply (x0, x1) ->
           this#constr "Ast_408.Parsetree.class_expr_desc"
             ("Pcl_apply",
               [this#lift_Parsetree_class_expr x0;
               this#list
                 (List.map
                    (fun x ->
                       let (x0, x1) = x in
                       this#tuple
                         [this#lift_arg_label x0;
                         this#lift_Parsetree_expression x1]) x1)])
       | Parsetree.Pcl_let (x0, x1, x2) ->
           this#constr "Ast_408.Parsetree.class_expr_desc"
             ("Pcl_let",
               [this#lift_rec_flag x0;
               this#list (List.map this#lift_Parsetree_value_binding x1);
               this#lift_Parsetree_class_expr x2])
       | Parsetree.Pcl_constraint (x0, x1) ->
           this#constr "Ast_408.Parsetree.class_expr_desc"
             ("Pcl_constraint",
               [this#lift_Parsetree_class_expr x0;
               this#lift_Parsetree_class_type x1])
       | Parsetree.Pcl_extension x0 ->
           this#constr "Ast_408.Parsetree.class_expr_desc"
             ("Pcl_extension", [this#lift_Parsetree_extension x0])
       | Parsetree.Pcl_open (x0, x1) ->
           this#constr "Ast_408.Parsetree.class_expr_desc"
             ("Pcl_open",
               [this#lift_Parsetree_open_description x0;
               this#lift_Parsetree_class_expr x1]) : Parsetree.class_expr_desc
                                                       -> 'res)
    method lift_Parsetree_class_structure :
      Parsetree.class_structure -> 'res=
      (fun
         { Parsetree.pcstr_self = pcstr_self;
           Parsetree.pcstr_fields = pcstr_fields }
         ->
         this#record "Ast_408.Parsetree.class_structure"
           [("pcstr_self", (this#lift_Parsetree_pattern pcstr_self));
           ("pcstr_fields",
             (this#list
                (List.map this#lift_Parsetree_class_field pcstr_fields)))] :
      Parsetree.class_structure -> 'res)
    method lift_Parsetree_class_field :
      Parsetree.class_field -> 'res=
      (fun
         { Parsetree.pcf_desc = pcf_desc;
           Parsetree.pcf_loc = pcf_loc;
           Parsetree.pcf_attributes = pcf_attributes }
         ->
         this#record "Ast_408.Parsetree.class_field"
           [("pcf_desc", (this#lift_Parsetree_class_field_desc pcf_desc));
           ("pcf_loc", (this#lift_Location_t pcf_loc));
           ("pcf_attributes",
             (this#lift_Parsetree_attributes pcf_attributes))] : Parsetree.class_field
                                                                   ->
                                                                   'res)
    method lift_Parsetree_class_field_desc :
      Parsetree.class_field_desc -> 'res=
      (function
       | Parsetree.Pcf_inherit (x0, x1, x2) ->
           this#constr "Ast_408.Parsetree.class_field_desc"
             ("Pcf_inherit",
               [this#lift_override_flag x0;
               this#lift_Parsetree_class_expr x1;
               this#lift_option (fun x -> this#lift_loc this#string x) x2])
       | Parsetree.Pcf_val x0 ->
           this#constr "Ast_408.Parsetree.class_field_desc"
             ("Pcf_val",
               [(let (x0, x1, x2) = x0 in
                 this#tuple
                   [this#lift_loc this#lift_label x0;
                   this#lift_mutable_flag x1;
                   this#lift_Parsetree_class_field_kind x2])])
       | Parsetree.Pcf_method x0 ->
           this#constr "Ast_408.Parsetree.class_field_desc"
             ("Pcf_method",
               [(let (x0, x1, x2) = x0 in
                 this#tuple
                   [this#lift_loc this#lift_label x0;
                   this#lift_private_flag x1;
                   this#lift_Parsetree_class_field_kind x2])])
       | Parsetree.Pcf_constraint x0 ->
           this#constr "Ast_408.Parsetree.class_field_desc"
             ("Pcf_constraint",
               [(let (x0, x1) = x0 in
                 this#tuple
                   [this#lift_Parsetree_core_type x0;
                   this#lift_Parsetree_core_type x1])])
       | Parsetree.Pcf_initializer x0 ->
           this#constr "Ast_408.Parsetree.class_field_desc"
             ("Pcf_initializer", [this#lift_Parsetree_expression x0])
       | Parsetree.Pcf_attribute x0 ->
           this#constr "Ast_408.Parsetree.class_field_desc"
             ("Pcf_attribute", [this#lift_Parsetree_attribute x0])
       | Parsetree.Pcf_extension x0 ->
           this#constr "Ast_408.Parsetree.class_field_desc"
             ("Pcf_extension", [this#lift_Parsetree_extension x0]) :
      Parsetree.class_field_desc -> 'res)
    method lift_Parsetree_class_field_kind :
      Parsetree.class_field_kind -> 'res=
      (function
       | Parsetree.Cfk_virtual x0 ->
           this#constr "Ast_408.Parsetree.class_field_kind"
             ("Cfk_virtual", [this#lift_Parsetree_core_type x0])
       | Parsetree.Cfk_concrete (x0, x1) ->
           this#constr "Ast_408.Parsetree.class_field_kind"
             ("Cfk_concrete",
               [this#lift_override_flag x0;
               this#lift_Parsetree_expression x1]) : Parsetree.class_field_kind
                                                       -> 'res)
    method lift_Parsetree_open_declaration :
      Parsetree.open_declaration -> 'res=
      (fun x ->
         this#lift_Parsetree_open_infos this#lift_Parsetree_module_expr x :
      Parsetree.open_declaration -> 'res)
    method lift_Parsetree_module_binding :
      Parsetree.module_binding -> 'res=
      (fun
         { Parsetree.pmb_name = pmb_name;
           Parsetree.pmb_expr = pmb_expr;
           Parsetree.pmb_attributes = pmb_attributes;
           Parsetree.pmb_loc = pmb_loc }
         ->
         this#record "Ast_408.Parsetree.module_binding"
           [("pmb_name", (this#lift_loc this#string pmb_name));
           ("pmb_expr", (this#lift_Parsetree_module_expr pmb_expr));
           ("pmb_attributes",
             (this#lift_Parsetree_attributes pmb_attributes));
           ("pmb_loc", (this#lift_Location_t pmb_loc))] : Parsetree.module_binding
                                                            -> 'res)
    method lift_Parsetree_module_expr :
      Parsetree.module_expr -> 'res=
      (fun
         { Parsetree.pmod_desc = pmod_desc;
           Parsetree.pmod_loc = pmod_loc;
           Parsetree.pmod_attributes = pmod_attributes }
         ->
         this#record "Ast_408.Parsetree.module_expr"
           [("pmod_desc", (this#lift_Parsetree_module_expr_desc pmod_desc));
           ("pmod_loc", (this#lift_Location_t pmod_loc));
           ("pmod_attributes",
             (this#lift_Parsetree_attributes pmod_attributes))] : Parsetree.module_expr
                                                                    ->
                                                                    'res)
    method lift_Parsetree_module_expr_desc :
      Parsetree.module_expr_desc -> 'res=
      (function
       | Parsetree.Pmod_ident x0 ->
           this#constr "Ast_408.Parsetree.module_expr_desc"
             ("Pmod_ident", [this#lift_loc this#lift_Longident_t x0])
       | Parsetree.Pmod_structure x0 ->
           this#constr "Ast_408.Parsetree.module_expr_desc"
             ("Pmod_structure", [this#lift_Parsetree_structure x0])
       | Parsetree.Pmod_functor (x0, x1, x2) ->
           this#constr "Ast_408.Parsetree.module_expr_desc"
             ("Pmod_functor",
               [this#lift_loc this#string x0;
               this#lift_option this#lift_Parsetree_module_type x1;
               this#lift_Parsetree_module_expr x2])
       | Parsetree.Pmod_apply (x0, x1) ->
           this#constr "Ast_408.Parsetree.module_expr_desc"
             ("Pmod_apply",
               [this#lift_Parsetree_module_expr x0;
               this#lift_Parsetree_module_expr x1])
       | Parsetree.Pmod_constraint (x0, x1) ->
           this#constr "Ast_408.Parsetree.module_expr_desc"
             ("Pmod_constraint",
               [this#lift_Parsetree_module_expr x0;
               this#lift_Parsetree_module_type x1])
       | Parsetree.Pmod_unpack x0 ->
           this#constr "Ast_408.Parsetree.module_expr_desc"
             ("Pmod_unpack", [this#lift_Parsetree_expression x0])
       | Parsetree.Pmod_extension x0 ->
           this#constr "Ast_408.Parsetree.module_expr_desc"
             ("Pmod_extension", [this#lift_Parsetree_extension x0]) :
      Parsetree.module_expr_desc -> 'res)
    method lift_Parsetree_module_type :
      Parsetree.module_type -> 'res=
      (fun
         { Parsetree.pmty_desc = pmty_desc;
           Parsetree.pmty_loc = pmty_loc;
           Parsetree.pmty_attributes = pmty_attributes }
         ->
         this#record "Ast_408.Parsetree.module_type"
           [("pmty_desc", (this#lift_Parsetree_module_type_desc pmty_desc));
           ("pmty_loc", (this#lift_Location_t pmty_loc));
           ("pmty_attributes",
             (this#lift_Parsetree_attributes pmty_attributes))] : Parsetree.module_type
                                                                    ->
                                                                    'res)
    method lift_Parsetree_module_type_desc :
      Parsetree.module_type_desc -> 'res=
      (function
       | Parsetree.Pmty_ident x0 ->
           this#constr "Ast_408.Parsetree.module_type_desc"
             ("Pmty_ident", [this#lift_loc this#lift_Longident_t x0])
       | Parsetree.Pmty_signature x0 ->
           this#constr "Ast_408.Parsetree.module_type_desc"
             ("Pmty_signature", [this#lift_Parsetree_signature x0])
       | Parsetree.Pmty_functor (x0, x1, x2) ->
           this#constr "Ast_408.Parsetree.module_type_desc"
             ("Pmty_functor",
               [this#lift_loc this#string x0;
               this#lift_option this#lift_Parsetree_module_type x1;
               this#lift_Parsetree_module_type x2])
       | Parsetree.Pmty_with (x0, x1) ->
           this#constr "Ast_408.Parsetree.module_type_desc"
             ("Pmty_with",
               [this#lift_Parsetree_module_type x0;
               this#list (List.map this#lift_Parsetree_with_constraint x1)])
       | Parsetree.Pmty_typeof x0 ->
           this#constr "Ast_408.Parsetree.module_type_desc"
             ("Pmty_typeof", [this#lift_Parsetree_module_expr x0])
       | Parsetree.Pmty_extension x0 ->
           this#constr "Ast_408.Parsetree.module_type_desc"
             ("Pmty_extension", [this#lift_Parsetree_extension x0])
       | Parsetree.Pmty_alias x0 ->
           this#constr "Ast_408.Parsetree.module_type_desc"
             ("Pmty_alias", [this#lift_loc this#lift_Longident_t x0]) :
      Parsetree.module_type_desc -> 'res)
    method lift_Parsetree_with_constraint :
      Parsetree.with_constraint -> 'res=
      (function
       | Parsetree.Pwith_type (x0, x1) ->
           this#constr "Ast_408.Parsetree.with_constraint"
             ("Pwith_type",
               [this#lift_loc this#lift_Longident_t x0;
               this#lift_Parsetree_type_declaration x1])
       | Parsetree.Pwith_module (x0, x1) ->
           this#constr "Ast_408.Parsetree.with_constraint"
             ("Pwith_module",
               [this#lift_loc this#lift_Longident_t x0;
               this#lift_loc this#lift_Longident_t x1])
       | Parsetree.Pwith_typesubst (x0, x1) ->
           this#constr "Ast_408.Parsetree.with_constraint"
             ("Pwith_typesubst",
               [this#lift_loc this#lift_Longident_t x0;
               this#lift_Parsetree_type_declaration x1])
       | Parsetree.Pwith_modsubst (x0, x1) ->
           this#constr "Ast_408.Parsetree.with_constraint"
             ("Pwith_modsubst",
               [this#lift_loc this#lift_Longident_t x0;
               this#lift_loc this#lift_Longident_t x1]) : Parsetree.with_constraint
                                                            -> 'res)
    method lift_Parsetree_signature : Parsetree.signature -> 'res=
      (fun x -> this#list (List.map this#lift_Parsetree_signature_item x) :
      Parsetree.signature -> 'res)
    method lift_Parsetree_signature_item :
      Parsetree.signature_item -> 'res=
      (fun
         { Parsetree.psig_desc = psig_desc;
           Parsetree.psig_loc = psig_loc }
         ->
         this#record "Ast_408.Parsetree.signature_item"
           [("psig_desc",
              (this#lift_Parsetree_signature_item_desc psig_desc));
           ("psig_loc", (this#lift_Location_t psig_loc))] : Parsetree.signature_item
                                                              -> 'res)
    method lift_Parsetree_signature_item_desc :
      Parsetree.signature_item_desc -> 'res=
      (function
       | Parsetree.Psig_value x0 ->
           this#constr "Ast_408.Parsetree.signature_item_desc"
             ("Psig_value", [this#lift_Parsetree_value_description x0])
       | Parsetree.Psig_type (x0, x1) ->
           this#constr "Ast_408.Parsetree.signature_item_desc"
             ("Psig_type",
               [this#lift_rec_flag x0;
               this#list (List.map this#lift_Parsetree_type_declaration x1)])
       | Parsetree.Psig_typesubst x0 ->
           this#constr "Ast_408.Parsetree.signature_item_desc"
             ("Psig_typesubst",
               [this#list (List.map this#lift_Parsetree_type_declaration x0)])
       | Parsetree.Psig_typext x0 ->
           this#constr "Ast_408.Parsetree.signature_item_desc"
             ("Psig_typext", [this#lift_Parsetree_type_extension x0])
       | Parsetree.Psig_exception x0 ->
           this#constr "Ast_408.Parsetree.signature_item_desc"
             ("Psig_exception", [this#lift_Parsetree_type_exception x0])
       | Parsetree.Psig_module x0 ->
           this#constr "Ast_408.Parsetree.signature_item_desc"
             ("Psig_module", [this#lift_Parsetree_module_declaration x0])
       | Parsetree.Psig_modsubst x0 ->
           this#constr "Ast_408.Parsetree.signature_item_desc"
             ("Psig_modsubst", [this#lift_Parsetree_module_substitution x0])
       | Parsetree.Psig_recmodule x0 ->
           this#constr "Ast_408.Parsetree.signature_item_desc"
             ("Psig_recmodule",
               [this#list
                  (List.map this#lift_Parsetree_module_declaration x0)])
       | Parsetree.Psig_modtype x0 ->
           this#constr "Ast_408.Parsetree.signature_item_desc"
             ("Psig_modtype",
               [this#lift_Parsetree_module_type_declaration x0])
       | Parsetree.Psig_open x0 ->
           this#constr "Ast_408.Parsetree.signature_item_desc"
             ("Psig_open", [this#lift_Parsetree_open_description x0])
       | Parsetree.Psig_include x0 ->
           this#constr "Ast_408.Parsetree.signature_item_desc"
             ("Psig_include", [this#lift_Parsetree_include_description x0])
       | Parsetree.Psig_class x0 ->
           this#constr "Ast_408.Parsetree.signature_item_desc"
             ("Psig_class",
               [this#list (List.map this#lift_Parsetree_class_description x0)])
       | Parsetree.Psig_class_type x0 ->
           this#constr "Ast_408.Parsetree.signature_item_desc"
             ("Psig_class_type",
               [this#list
                  (List.map this#lift_Parsetree_class_type_declaration x0)])
       | Parsetree.Psig_attribute x0 ->
           this#constr "Ast_408.Parsetree.signature_item_desc"
             ("Psig_attribute", [this#lift_Parsetree_attribute x0])
       | Parsetree.Psig_extension (x0, x1) ->
           this#constr "Ast_408.Parsetree.signature_item_desc"
             ("Psig_extension",
               [this#lift_Parsetree_extension x0;
               this#lift_Parsetree_attributes x1]) : Parsetree.signature_item_desc
                                                       -> 'res)
    method lift_Parsetree_class_type_declaration :
      Parsetree.class_type_declaration -> 'res=
      (fun x ->
         this#lift_Parsetree_class_infos this#lift_Parsetree_class_type x :
      Parsetree.class_type_declaration -> 'res)
    method lift_Parsetree_class_description :
      Parsetree.class_description -> 'res=
      (fun x ->
         this#lift_Parsetree_class_infos this#lift_Parsetree_class_type x :
      Parsetree.class_description -> 'res)
    method lift_Parsetree_class_type : Parsetree.class_type -> 'res=
      (fun
         { Parsetree.pcty_desc = pcty_desc;
           Parsetree.pcty_loc = pcty_loc;
           Parsetree.pcty_attributes = pcty_attributes }
         ->
         this#record "Ast_408.Parsetree.class_type"
           [("pcty_desc", (this#lift_Parsetree_class_type_desc pcty_desc));
           ("pcty_loc", (this#lift_Location_t pcty_loc));
           ("pcty_attributes",
             (this#lift_Parsetree_attributes pcty_attributes))] : Parsetree.class_type
                                                                    ->
                                                                    'res)
    method lift_Parsetree_class_type_desc :
      Parsetree.class_type_desc -> 'res=
      (function
       | Parsetree.Pcty_constr (x0, x1) ->
           this#constr "Ast_408.Parsetree.class_type_desc"
             ("Pcty_constr",
               [this#lift_loc this#lift_Longident_t x0;
               this#list (List.map this#lift_Parsetree_core_type x1)])
       | Parsetree.Pcty_signature x0 ->
           this#constr "Ast_408.Parsetree.class_type_desc"
             ("Pcty_signature", [this#lift_Parsetree_class_signature x0])
       | Parsetree.Pcty_arrow (x0, x1, x2) ->
           this#constr "Ast_408.Parsetree.class_type_desc"
             ("Pcty_arrow",
               [this#lift_arg_label x0;
               this#lift_Parsetree_core_type x1;
               this#lift_Parsetree_class_type x2])
       | Parsetree.Pcty_extension x0 ->
           this#constr "Ast_408.Parsetree.class_type_desc"
             ("Pcty_extension", [this#lift_Parsetree_extension x0])
       | Parsetree.Pcty_open (x0, x1) ->
           this#constr "Ast_408.Parsetree.class_type_desc"
             ("Pcty_open",
               [this#lift_Parsetree_open_description x0;
               this#lift_Parsetree_class_type x1]) : Parsetree.class_type_desc
                                                       -> 'res)
    method lift_Parsetree_class_signature :
      Parsetree.class_signature -> 'res=
      (fun
         { Parsetree.pcsig_self = pcsig_self;
           Parsetree.pcsig_fields = pcsig_fields }
         ->
         this#record "Ast_408.Parsetree.class_signature"
           [("pcsig_self", (this#lift_Parsetree_core_type pcsig_self));
           ("pcsig_fields",
             (this#list
                (List.map this#lift_Parsetree_class_type_field pcsig_fields)))] :
      Parsetree.class_signature -> 'res)
    method lift_Parsetree_class_type_field :
      Parsetree.class_type_field -> 'res=
      (fun
         { Parsetree.pctf_desc = pctf_desc;
           Parsetree.pctf_loc = pctf_loc;
           Parsetree.pctf_attributes = pctf_attributes }
         ->
         this#record "Ast_408.Parsetree.class_type_field"
           [("pctf_desc",
              (this#lift_Parsetree_class_type_field_desc pctf_desc));
           ("pctf_loc", (this#lift_Location_t pctf_loc));
           ("pctf_attributes",
             (this#lift_Parsetree_attributes pctf_attributes))] : Parsetree.class_type_field
                                                                    ->
                                                                    'res)
    method lift_Parsetree_class_type_field_desc :
      Parsetree.class_type_field_desc -> 'res=
      (function
       | Parsetree.Pctf_inherit x0 ->
           this#constr "Ast_408.Parsetree.class_type_field_desc"
             ("Pctf_inherit", [this#lift_Parsetree_class_type x0])
       | Parsetree.Pctf_val x0 ->
           this#constr "Ast_408.Parsetree.class_type_field_desc"
             ("Pctf_val",
               [(let (x0, x1, x2, x3) = x0 in
                 this#tuple
                   [this#lift_loc this#lift_label x0;
                   this#lift_mutable_flag x1;
                   this#lift_virtual_flag x2;
                   this#lift_Parsetree_core_type x3])])
       | Parsetree.Pctf_method x0 ->
           this#constr "Ast_408.Parsetree.class_type_field_desc"
             ("Pctf_method",
               [(let (x0, x1, x2, x3) = x0 in
                 this#tuple
                   [this#lift_loc this#lift_label x0;
                   this#lift_private_flag x1;
                   this#lift_virtual_flag x2;
                   this#lift_Parsetree_core_type x3])])
       | Parsetree.Pctf_constraint x0 ->
           this#constr "Ast_408.Parsetree.class_type_field_desc"
             ("Pctf_constraint",
               [(let (x0, x1) = x0 in
                 this#tuple
                   [this#lift_Parsetree_core_type x0;
                   this#lift_Parsetree_core_type x1])])
       | Parsetree.Pctf_attribute x0 ->
           this#constr "Ast_408.Parsetree.class_type_field_desc"
             ("Pctf_attribute", [this#lift_Parsetree_attribute x0])
       | Parsetree.Pctf_extension x0 ->
           this#constr "Ast_408.Parsetree.class_type_field_desc"
             ("Pctf_extension", [this#lift_Parsetree_extension x0]) :
      Parsetree.class_type_field_desc -> 'res)
    method lift_Parsetree_extension : Parsetree.extension -> 'res=
      (fun x ->
         let (x0, x1) = x in
         this#tuple
           [this#lift_loc this#string x0; this#lift_Parsetree_payload x1] :
      Parsetree.extension -> 'res)
    method lift_Parsetree_class_infos :
      'f0 . ('f0 -> 'res) -> 'f0 Parsetree.class_infos -> 'res= fun
      (type f0) ->
      (fun f0 ->
         fun
           { Parsetree.pci_virt = pci_virt;
             Parsetree.pci_params = pci_params;
             Parsetree.pci_name = pci_name;
             Parsetree.pci_expr = pci_expr;
             Parsetree.pci_loc = pci_loc;
             Parsetree.pci_attributes = pci_attributes }
           ->
           this#record "Ast_408.Parsetree.class_infos"
             [("pci_virt", (this#lift_virtual_flag pci_virt));
             ("pci_params",
               (this#list
                  (List.map
                     (fun x ->
                        let (x0, x1) = x in
                        this#tuple
                          [this#lift_Parsetree_core_type x0;
                          this#lift_variance x1]) pci_params)));
             ("pci_name", (this#lift_loc this#string pci_name));
             ("pci_expr", (f0 pci_expr));
             ("pci_loc", (this#lift_Location_t pci_loc));
             ("pci_attributes",
               (this#lift_Parsetree_attributes pci_attributes))] : (f0 ->
                                                                    'res) ->
                                                                    f0
                                                                    Parsetree.class_infos
                                                                    ->
                                                                    'res)
    method lift_virtual_flag :
      Migrate_parsetree__Ast_408.Asttypes.virtual_flag -> 'res=
      (function
       | Migrate_parsetree__Ast_408.Asttypes.Virtual ->
           this#constr "Migrate_parsetree__Ast_408.Asttypes.virtual_flag"
             ("Virtual", [])
       | Migrate_parsetree__Ast_408.Asttypes.Concrete ->
           this#constr "Migrate_parsetree__Ast_408.Asttypes.virtual_flag"
             ("Concrete", []) : Migrate_parsetree__Ast_408.Asttypes.virtual_flag
                                  -> 'res)
    method lift_Parsetree_include_description :
      Parsetree.include_description -> 'res=
      (fun x ->
         this#lift_Parsetree_include_infos this#lift_Parsetree_module_type x :
      Parsetree.include_description -> 'res)
    method lift_Parsetree_include_infos :
      'f0 . ('f0 -> 'res) -> 'f0 Parsetree.include_infos -> 'res= fun
      (type f0) ->
      (fun f0 ->
         fun
           { Parsetree.pincl_mod = pincl_mod;
             Parsetree.pincl_loc = pincl_loc;
             Parsetree.pincl_attributes = pincl_attributes }
           ->
           this#record "Ast_408.Parsetree.include_infos"
             [("pincl_mod", (f0 pincl_mod));
             ("pincl_loc", (this#lift_Location_t pincl_loc));
             ("pincl_attributes",
               (this#lift_Parsetree_attributes pincl_attributes))] :
      (f0 -> 'res) -> f0 Parsetree.include_infos -> 'res)
    method lift_Parsetree_open_description :
      Parsetree.open_description -> 'res=
      (fun x ->
         this#lift_Parsetree_open_infos
           (fun x -> this#lift_loc this#lift_Longident_t x) x : Parsetree.open_description
                                                                  ->
                                                                  'res)
    method lift_Parsetree_open_infos :
      'f0 . ('f0 -> 'res) -> 'f0 Parsetree.open_infos -> 'res= fun
      (type f0) ->
      (fun f0 ->
         fun
           { Parsetree.popen_expr = popen_expr;
             Parsetree.popen_override = popen_override;
             Parsetree.popen_loc = popen_loc;
             Parsetree.popen_attributes = popen_attributes }
           ->
           this#record "Ast_408.Parsetree.open_infos"
             [("popen_expr", (f0 popen_expr));
             ("popen_override", (this#lift_override_flag popen_override));
             ("popen_loc", (this#lift_Location_t popen_loc));
             ("popen_attributes",
               (this#lift_Parsetree_attributes popen_attributes))] :
      (f0 -> 'res) -> f0 Parsetree.open_infos -> 'res)
    method lift_override_flag :
      Migrate_parsetree__Ast_408.Asttypes.override_flag -> 'res=
      (function
       | Migrate_parsetree__Ast_408.Asttypes.Override ->
           this#constr "Migrate_parsetree__Ast_408.Asttypes.override_flag"
             ("Override", [])
       | Migrate_parsetree__Ast_408.Asttypes.Fresh ->
           this#constr "Migrate_parsetree__Ast_408.Asttypes.override_flag"
             ("Fresh", []) : Migrate_parsetree__Ast_408.Asttypes.override_flag
                               -> 'res)
    method lift_Parsetree_module_type_declaration :
      Parsetree.module_type_declaration -> 'res=
      (fun
         { Parsetree.pmtd_name = pmtd_name;
           Parsetree.pmtd_type = pmtd_type;
           Parsetree.pmtd_attributes = pmtd_attributes;
           Parsetree.pmtd_loc = pmtd_loc }
         ->
         this#record "Ast_408.Parsetree.module_type_declaration"
           [("pmtd_name", (this#lift_loc this#string pmtd_name));
           ("pmtd_type",
             (this#lift_option this#lift_Parsetree_module_type pmtd_type));
           ("pmtd_attributes",
             (this#lift_Parsetree_attributes pmtd_attributes));
           ("pmtd_loc", (this#lift_Location_t pmtd_loc))] : Parsetree.module_type_declaration
                                                              -> 'res)
    method lift_Parsetree_module_substitution :
      Parsetree.module_substitution -> 'res=
      (fun
         { Parsetree.pms_name = pms_name;
           Parsetree.pms_manifest = pms_manifest;
           Parsetree.pms_attributes = pms_attributes;
           Parsetree.pms_loc = pms_loc }
         ->
         this#record "Ast_408.Parsetree.module_substitution"
           [("pms_name", (this#lift_loc this#string pms_name));
           ("pms_manifest",
             (this#lift_loc this#lift_Longident_t pms_manifest));
           ("pms_attributes",
             (this#lift_Parsetree_attributes pms_attributes));
           ("pms_loc", (this#lift_Location_t pms_loc))] : Parsetree.module_substitution
                                                            -> 'res)
    method lift_Parsetree_module_declaration :
      Parsetree.module_declaration -> 'res=
      (fun
         { Parsetree.pmd_name = pmd_name;
           Parsetree.pmd_type = pmd_type;
           Parsetree.pmd_attributes = pmd_attributes;
           Parsetree.pmd_loc = pmd_loc }
         ->
         this#record "Ast_408.Parsetree.module_declaration"
           [("pmd_name", (this#lift_loc this#string pmd_name));
           ("pmd_type", (this#lift_Parsetree_module_type pmd_type));
           ("pmd_attributes",
             (this#lift_Parsetree_attributes pmd_attributes));
           ("pmd_loc", (this#lift_Location_t pmd_loc))] : Parsetree.module_declaration
                                                            -> 'res)
    method lift_Parsetree_type_exception :
      Parsetree.type_exception -> 'res=
      (fun
         { Parsetree.ptyexn_constructor = ptyexn_constructor;
           Parsetree.ptyexn_loc = ptyexn_loc;
           Parsetree.ptyexn_attributes = ptyexn_attributes }
         ->
         this#record "Ast_408.Parsetree.type_exception"
           [("ptyexn_constructor",
              (this#lift_Parsetree_extension_constructor ptyexn_constructor));
           ("ptyexn_loc", (this#lift_Location_t ptyexn_loc));
           ("ptyexn_attributes",
             (this#lift_Parsetree_attributes ptyexn_attributes))] : Parsetree.type_exception
                                                                    ->
                                                                    'res)
    method lift_Parsetree_type_extension :
      Parsetree.type_extension -> 'res=
      (fun
         { Parsetree.ptyext_path = ptyext_path;
           Parsetree.ptyext_params = ptyext_params;
           Parsetree.ptyext_constructors = ptyext_constructors;
           Parsetree.ptyext_private = ptyext_private;
           Parsetree.ptyext_loc = ptyext_loc;
           Parsetree.ptyext_attributes = ptyext_attributes }
         ->
         this#record "Ast_408.Parsetree.type_extension"
           [("ptyext_path",
              (this#lift_loc this#lift_Longident_t ptyext_path));
           ("ptyext_params",
             (this#list
                (List.map
                   (fun x ->
                      let (x0, x1) = x in
                      this#tuple
                        [this#lift_Parsetree_core_type x0;
                        this#lift_variance x1]) ptyext_params)));
           ("ptyext_constructors",
             (this#list
                (List.map this#lift_Parsetree_extension_constructor
                   ptyext_constructors)));
           ("ptyext_private", (this#lift_private_flag ptyext_private));
           ("ptyext_loc", (this#lift_Location_t ptyext_loc));
           ("ptyext_attributes",
             (this#lift_Parsetree_attributes ptyext_attributes))] : Parsetree.type_extension
                                                                    ->
                                                                    'res)
    method lift_Parsetree_extension_constructor :
      Parsetree.extension_constructor -> 'res=
      (fun
         { Parsetree.pext_name = pext_name;
           Parsetree.pext_kind = pext_kind;
           Parsetree.pext_loc = pext_loc;
           Parsetree.pext_attributes = pext_attributes }
         ->
         this#record "Ast_408.Parsetree.extension_constructor"
           [("pext_name", (this#lift_loc this#string pext_name));
           ("pext_kind",
             (this#lift_Parsetree_extension_constructor_kind pext_kind));
           ("pext_loc", (this#lift_Location_t pext_loc));
           ("pext_attributes",
             (this#lift_Parsetree_attributes pext_attributes))] : Parsetree.extension_constructor
                                                                    ->
                                                                    'res)
    method lift_Parsetree_extension_constructor_kind :
      Parsetree.extension_constructor_kind -> 'res=
      (function
       | Parsetree.Pext_decl (x0, x1) ->
           this#constr "Ast_408.Parsetree.extension_constructor_kind"
             ("Pext_decl",
               [this#lift_Parsetree_constructor_arguments x0;
               this#lift_option this#lift_Parsetree_core_type x1])
       | Parsetree.Pext_rebind x0 ->
           this#constr "Ast_408.Parsetree.extension_constructor_kind"
             ("Pext_rebind", [this#lift_loc this#lift_Longident_t x0]) :
      Parsetree.extension_constructor_kind -> 'res)
    method lift_Parsetree_type_declaration :
      Parsetree.type_declaration -> 'res=
      (fun
         { Parsetree.ptype_name = ptype_name;
           Parsetree.ptype_params = ptype_params;
           Parsetree.ptype_cstrs = ptype_cstrs;
           Parsetree.ptype_kind = ptype_kind;
           Parsetree.ptype_private = ptype_private;
           Parsetree.ptype_manifest = ptype_manifest;
           Parsetree.ptype_attributes = ptype_attributes;
           Parsetree.ptype_loc = ptype_loc }
         ->
         this#record "Ast_408.Parsetree.type_declaration"
           [("ptype_name", (this#lift_loc this#string ptype_name));
           ("ptype_params",
             (this#list
                (List.map
                   (fun x ->
                      let (x0, x1) = x in
                      this#tuple
                        [this#lift_Parsetree_core_type x0;
                        this#lift_variance x1]) ptype_params)));
           ("ptype_cstrs",
             (this#list
                (List.map
                   (fun x ->
                      let (x0, x1, x2) = x in
                      this#tuple
                        [this#lift_Parsetree_core_type x0;
                        this#lift_Parsetree_core_type x1;
                        this#lift_Location_t x2]) ptype_cstrs)));
           ("ptype_kind", (this#lift_Parsetree_type_kind ptype_kind));
           ("ptype_private", (this#lift_private_flag ptype_private));
           ("ptype_manifest",
             (this#lift_option this#lift_Parsetree_core_type ptype_manifest));
           ("ptype_attributes",
             (this#lift_Parsetree_attributes ptype_attributes));
           ("ptype_loc", (this#lift_Location_t ptype_loc))] : Parsetree.type_declaration
                                                                -> 'res)
    method lift_private_flag :
      Migrate_parsetree__Ast_408.Asttypes.private_flag -> 'res=
      (function
       | Migrate_parsetree__Ast_408.Asttypes.Private ->
           this#constr "Migrate_parsetree__Ast_408.Asttypes.private_flag"
             ("Private", [])
       | Migrate_parsetree__Ast_408.Asttypes.Public ->
           this#constr "Migrate_parsetree__Ast_408.Asttypes.private_flag"
             ("Public", []) : Migrate_parsetree__Ast_408.Asttypes.private_flag
                                -> 'res)
    method lift_Parsetree_type_kind : Parsetree.type_kind -> 'res=
      (function
       | Parsetree.Ptype_abstract ->
           this#constr "Ast_408.Parsetree.type_kind" ("Ptype_abstract", [])
       | Parsetree.Ptype_variant x0 ->
           this#constr "Ast_408.Parsetree.type_kind"
             ("Ptype_variant",
               [this#list
                  (List.map this#lift_Parsetree_constructor_declaration x0)])
       | Parsetree.Ptype_record x0 ->
           this#constr "Ast_408.Parsetree.type_kind"
             ("Ptype_record",
               [this#list (List.map this#lift_Parsetree_label_declaration x0)])
       | Parsetree.Ptype_open ->
           this#constr "Ast_408.Parsetree.type_kind" ("Ptype_open", []) :
      Parsetree.type_kind -> 'res)
    method lift_Parsetree_constructor_declaration :
      Parsetree.constructor_declaration -> 'res=
      (fun
         { Parsetree.pcd_name = pcd_name;
           Parsetree.pcd_args = pcd_args;
           Parsetree.pcd_res = pcd_res;
           Parsetree.pcd_loc = pcd_loc;
           Parsetree.pcd_attributes = pcd_attributes }
         ->
         this#record "Ast_408.Parsetree.constructor_declaration"
           [("pcd_name", (this#lift_loc this#string pcd_name));
           ("pcd_args", (this#lift_Parsetree_constructor_arguments pcd_args));
           ("pcd_res",
             (this#lift_option this#lift_Parsetree_core_type pcd_res));
           ("pcd_loc", (this#lift_Location_t pcd_loc));
           ("pcd_attributes",
             (this#lift_Parsetree_attributes pcd_attributes))] : Parsetree.constructor_declaration
                                                                   ->
                                                                   'res)
    method lift_Parsetree_constructor_arguments :
      Parsetree.constructor_arguments -> 'res=
      (function
       | Parsetree.Pcstr_tuple x0 ->
           this#constr "Ast_408.Parsetree.constructor_arguments"
             ("Pcstr_tuple",
               [this#list (List.map this#lift_Parsetree_core_type x0)])
       | Parsetree.Pcstr_record x0 ->
           this#constr "Ast_408.Parsetree.constructor_arguments"
             ("Pcstr_record",
               [this#list (List.map this#lift_Parsetree_label_declaration x0)]) :
      Parsetree.constructor_arguments -> 'res)
    method lift_Parsetree_label_declaration :
      Parsetree.label_declaration -> 'res=
      (fun
         { Parsetree.pld_name = pld_name;
           Parsetree.pld_mutable = pld_mutable;
           Parsetree.pld_type = pld_type;
           Parsetree.pld_loc = pld_loc;
           Parsetree.pld_attributes = pld_attributes }
         ->
         this#record "Ast_408.Parsetree.label_declaration"
           [("pld_name", (this#lift_loc this#string pld_name));
           ("pld_mutable", (this#lift_mutable_flag pld_mutable));
           ("pld_type", (this#lift_Parsetree_core_type pld_type));
           ("pld_loc", (this#lift_Location_t pld_loc));
           ("pld_attributes",
             (this#lift_Parsetree_attributes pld_attributes))] : Parsetree.label_declaration
                                                                   ->
                                                                   'res)
    method lift_mutable_flag :
      Migrate_parsetree__Ast_408.Asttypes.mutable_flag -> 'res=
      (function
       | Migrate_parsetree__Ast_408.Asttypes.Immutable ->
           this#constr "Migrate_parsetree__Ast_408.Asttypes.mutable_flag"
             ("Immutable", [])
       | Migrate_parsetree__Ast_408.Asttypes.Mutable ->
           this#constr "Migrate_parsetree__Ast_408.Asttypes.mutable_flag"
             ("Mutable", []) : Migrate_parsetree__Ast_408.Asttypes.mutable_flag
                                 -> 'res)
    method lift_variance :
      Migrate_parsetree__Ast_408.Asttypes.variance -> 'res=
      (function
       | Migrate_parsetree__Ast_408.Asttypes.Covariant ->
           this#constr "Migrate_parsetree__Ast_408.Asttypes.variance"
             ("Covariant", [])
       | Migrate_parsetree__Ast_408.Asttypes.Contravariant ->
           this#constr "Migrate_parsetree__Ast_408.Asttypes.variance"
             ("Contravariant", [])
       | Migrate_parsetree__Ast_408.Asttypes.Invariant ->
           this#constr "Migrate_parsetree__Ast_408.Asttypes.variance"
             ("Invariant", []) : Migrate_parsetree__Ast_408.Asttypes.variance
                                   -> 'res)
    method lift_Parsetree_value_description :
      Parsetree.value_description -> 'res=
      (fun
         { Parsetree.pval_name = pval_name;
           Parsetree.pval_type = pval_type;
           Parsetree.pval_prim = pval_prim;
           Parsetree.pval_attributes = pval_attributes;
           Parsetree.pval_loc = pval_loc }
         ->
         this#record "Ast_408.Parsetree.value_description"
           [("pval_name", (this#lift_loc this#string pval_name));
           ("pval_type", (this#lift_Parsetree_core_type pval_type));
           ("pval_prim", (this#list (List.map this#string pval_prim)));
           ("pval_attributes",
             (this#lift_Parsetree_attributes pval_attributes));
           ("pval_loc", (this#lift_Location_t pval_loc))] : Parsetree.value_description
                                                              -> 'res)
    method lift_Parsetree_object_field_desc :
      Parsetree.object_field_desc -> 'res=
      (function
       | Parsetree.Otag (x0, x1) ->
           this#constr "Ast_408.Parsetree.object_field_desc"
             ("Otag",
               [this#lift_loc this#lift_label x0;
               this#lift_Parsetree_core_type x1])
       | Parsetree.Oinherit x0 ->
           this#constr "Ast_408.Parsetree.object_field_desc"
             ("Oinherit", [this#lift_Parsetree_core_type x0]) : Parsetree.object_field_desc
                                                                  ->
                                                                  'res)
    method lift_arg_label :
      Migrate_parsetree__Ast_408.Asttypes.arg_label -> 'res=
      (function
       | Migrate_parsetree__Ast_408.Asttypes.Nolabel ->
           this#constr "Migrate_parsetree__Ast_408.Asttypes.arg_label"
             ("Nolabel", [])
       | Migrate_parsetree__Ast_408.Asttypes.Labelled x0 ->
           this#constr "Migrate_parsetree__Ast_408.Asttypes.arg_label"
             ("Labelled", [this#string x0])
       | Migrate_parsetree__Ast_408.Asttypes.Optional x0 ->
           this#constr "Migrate_parsetree__Ast_408.Asttypes.arg_label"
             ("Optional", [this#string x0]) : Migrate_parsetree__Ast_408.Asttypes.arg_label
                                                -> 'res)
    method lift_closed_flag :
      Migrate_parsetree__Ast_408.Asttypes.closed_flag -> 'res=
      (function
       | Migrate_parsetree__Ast_408.Asttypes.Closed ->
           this#constr "Migrate_parsetree__Ast_408.Asttypes.closed_flag"
             ("Closed", [])
       | Migrate_parsetree__Ast_408.Asttypes.Open ->
           this#constr "Migrate_parsetree__Ast_408.Asttypes.closed_flag"
             ("Open", []) : Migrate_parsetree__Ast_408.Asttypes.closed_flag
                              -> 'res)
    method lift_label : Migrate_parsetree__Ast_408.Asttypes.label -> 'res=
      (this#string : Migrate_parsetree__Ast_408.Asttypes.label -> 'res)
    method lift_rec_flag :
      Migrate_parsetree__Ast_408.Asttypes.rec_flag -> 'res=
      (function
       | Migrate_parsetree__Ast_408.Asttypes.Nonrecursive ->
           this#constr "Migrate_parsetree__Ast_408.Asttypes.rec_flag"
             ("Nonrecursive", [])
       | Migrate_parsetree__Ast_408.Asttypes.Recursive ->
           this#constr "Migrate_parsetree__Ast_408.Asttypes.rec_flag"
             ("Recursive", []) : Migrate_parsetree__Ast_408.Asttypes.rec_flag
                                   -> 'res)
    method lift_Parsetree_constant : Parsetree.constant -> 'res=
      (function
       | Parsetree.Pconst_integer (x0, x1) ->
           this#constr "Ast_408.Parsetree.constant"
             ("Pconst_integer",
               [this#string x0; this#lift_option this#char x1])
       | Parsetree.Pconst_char x0 ->
           this#constr "Ast_408.Parsetree.constant"
             ("Pconst_char", [this#char x0])
       | Parsetree.Pconst_string (x0, x1) ->
           this#constr "Ast_408.Parsetree.constant"
             ("Pconst_string",
               [this#string x0; this#lift_option this#string x1])
       | Parsetree.Pconst_float (x0, x1) ->
           this#constr "Ast_408.Parsetree.constant"
             ("Pconst_float",
               [this#string x0; this#lift_option this#char x1]) : Parsetree.constant
                                                                    ->
                                                                    'res)
    method lift_option : 'f0 . ('f0 -> 'res) -> 'f0 option -> 'res= fun (type
      f0) ->
      (fun f0 ->
         function
         | None -> this#constr "option" ("None", [])
         | Some x0 -> this#constr "option" ("Some", [f0 x0]) : (f0 -> 'res)
                                                                 ->
                                                                 f0 option ->
                                                                   'res)
    method lift_Longident_t : Migrate_parsetree__Ast_408.Longident.t -> 'res=
      (function
       | Migrate_parsetree__Ast_408.Longident.Lident x0 ->
           this#constr "Migrate_parsetree__Ast_408.Longident.t"
             ("Lident", [this#string x0])
       | Migrate_parsetree__Ast_408.Longident.Ldot (x0, x1) ->
           this#constr "Migrate_parsetree__Ast_408.Longident.t"
             ("Ldot", [this#lift_Longident_t x0; this#string x1])
       | Migrate_parsetree__Ast_408.Longident.Lapply (x0, x1) ->
           this#constr "Migrate_parsetree__Ast_408.Longident.t"
             ("Lapply", [this#lift_Longident_t x0; this#lift_Longident_t x1]) :
      Migrate_parsetree__Ast_408.Longident.t -> 'res)
    method lift_loc :
      'f0 .
        ('f0 -> 'res) -> 'f0 Migrate_parsetree__Ast_408.Asttypes.loc -> 'res=
      fun (type f0) ->
      (fun f0 ->
         fun
           { Migrate_parsetree__Ast_408.Asttypes.txt = txt;
             Migrate_parsetree__Ast_408.Asttypes.loc = loc }
           ->
           this#record "Migrate_parsetree__Ast_408.Asttypes.loc"
             [("txt", (f0 txt)); ("loc", (this#lift_Location_t loc))] :
      (f0 -> 'res) -> f0 Migrate_parsetree__Ast_408.Asttypes.loc -> 'res)
    method lift_Location_t : Migrate_parsetree__Ast_408.Location.t -> 'res=
      (fun
         { Migrate_parsetree__Ast_408.Location.loc_start = loc_start;
           Migrate_parsetree__Ast_408.Location.loc_end = loc_end;
           Migrate_parsetree__Ast_408.Location.loc_ghost = loc_ghost }
         ->
         this#record "Migrate_parsetree__Ast_408.Location.t"
           [("loc_start", (this#lift_position loc_start));
           ("loc_end", (this#lift_position loc_end));
           ("loc_ghost", (this#lift_bool loc_ghost))] : Migrate_parsetree__Ast_408.Location.t
                                                          -> 'res)
    method lift_bool : bool -> 'res=
      (function
       | false -> this#constr "bool" ("false", [])
       | true -> this#constr "bool" ("true", []) : bool -> 'res)
    method lift_position : Lexing.position -> 'res=
      (fun
         { Lexing.pos_fname = pos_fname;
           Lexing.pos_lnum = pos_lnum;
           Lexing.pos_bol = pos_bol; Lexing.pos_cnum = pos_cnum
           }
         ->
         this#record "Lexing.position"
           [("pos_fname", (this#string pos_fname));
           ("pos_lnum", (this#int pos_lnum));
           ("pos_bol", (this#int pos_bol));
           ("pos_cnum", (this#int pos_cnum))] : Lexing.position ->
                                                'res)

    method lift_loc_stack : Location.t list -> 'res =
      fun l -> this#list (List.map this#lift_Location_t l)
  end