Class Ast.lift_map_with_context

method virtual record : 'ctx -> (string * 'res) list -> 'res
method virtual constr : 'ctx -> string -> 'res list -> 'res
method virtual tuple : 'ctx -> 'res list -> 'res
method virtual other : 'a. 'ctx -> 'a -> 'res
method virtual bool : 'ctx -> bool -> bool * 'res
method virtual char : 'ctx -> char -> char * 'res
method virtual int : 'ctx -> int -> int * 'res
method virtual list : 'a. ('ctx -> 'a -> 'a * 'res) -> 'ctx -> 'a list -> 'a list * 'res
method virtual option : 'a. ('ctx -> 'a -> 'a * 'res) -> 'ctx -> 'a option -> 'a option * 'res
method virtual string : 'ctx -> string -> string * 'res
method position : < arg_label : 'ctx -> arg_label -> arg_label * 'res ; attribute : 'ctx -> attribute -> attribute * 'res ; attributes : 'ctx -> attributes -> attributes * 'res ; binding_op : 'ctx -> binding_op -> binding_op * 'res ; bool : 'ctx -> bool -> bool * 'res ; case : 'ctx -> case -> case * 'res ; cases : 'ctx -> cases -> cases * 'res ; char : 'ctx -> char -> char * 'res ; class_declaration : 'ctx -> class_declaration -> class_declaration * 'res ; class_description : 'ctx -> class_description -> class_description * 'res ; class_expr : 'ctx -> class_expr -> class_expr * 'res ; class_expr_desc : 'ctx -> class_expr_desc -> class_expr_desc * 'res ; class_field : 'ctx -> class_field -> class_field * 'res ; class_field_desc : 'ctx -> class_field_desc -> class_field_desc * 'res ; class_field_kind : 'ctx -> class_field_kind -> class_field_kind * 'res ; class_infos : 'a. ('ctx -> 'a -> 'a * 'res) -> 'ctx -> 'a class_infos -> 'a class_infos * 'res ; class_signature : 'ctx -> class_signature -> class_signature * 'res ; class_structure : 'ctx -> class_structure -> class_structure * 'res ; class_type : 'ctx -> class_type -> class_type * 'res ; class_type_declaration : 'ctx -> class_type_declaration -> class_type_declaration * 'res ; class_type_desc : 'ctx -> class_type_desc -> class_type_desc * 'res ; class_type_field : 'ctx -> class_type_field -> class_type_field * 'res ; class_type_field_desc : 'ctx -> class_type_field_desc -> class_type_field_desc * 'res ; closed_flag : 'ctx -> closed_flag -> closed_flag * 'res ; constant : 'ctx -> constant -> constant * 'res ; constr : 'ctx -> string -> 'res list -> 'res ; constructor_arguments : 'ctx -> constructor_arguments -> constructor_arguments * 'res ; constructor_declaration : 'ctx -> constructor_declaration -> constructor_declaration * 'res ; core_type : 'ctx -> core_type -> core_type * 'res ; core_type_desc : 'ctx -> core_type_desc -> core_type_desc * 'res ; direction_flag : 'ctx -> direction_flag -> direction_flag * 'res ; directive_argument : 'ctx -> directive_argument -> directive_argument * 'res ; directive_argument_desc : 'ctx -> directive_argument_desc -> directive_argument_desc * 'res ; expression : 'ctx -> expression -> expression * 'res ; expression_desc : 'ctx -> expression_desc -> expression_desc * 'res ; extension : 'ctx -> extension -> extension * 'res ; extension_constructor : 'ctx -> extension_constructor -> extension_constructor * 'res ; extension_constructor_kind : 'ctx -> extension_constructor_kind -> extension_constructor_kind * 'res ; functor_parameter : 'ctx -> functor_parameter -> functor_parameter * 'res ; include_declaration : 'ctx -> include_declaration -> include_declaration * 'res ; include_description : 'ctx -> include_description -> include_description * 'res ; include_infos : 'a. ('ctx -> 'a -> 'a * 'res) -> 'ctx -> 'a include_infos -> 'a include_infos * 'res ; injectivity : 'ctx -> injectivity -> injectivity * 'res ; int : 'ctx -> int -> int * 'res ; label : 'ctx -> label -> label * 'res ; label_declaration : 'ctx -> label_declaration -> label_declaration * 'res ; letop : 'ctx -> letop -> letop * 'res ; list : 'a. ('ctx -> 'a -> 'a * 'res) -> 'ctx -> 'a list -> 'a list * 'res ; loc : 'a. ('ctx -> 'a -> 'a * 'res) -> 'ctx -> 'a loc -> 'a loc * 'res ; location : 'ctx -> location -> location * 'res ; location_stack : 'ctx -> location_stack -> location_stack * 'res ; longident : 'ctx -> longident -> longident * 'res ; longident_loc : 'ctx -> longident_loc -> longident_loc * 'res ; module_binding : 'ctx -> module_binding -> module_binding * 'res ; module_declaration : 'ctx -> module_declaration -> module_declaration * 'res ; module_expr : 'ctx -> module_expr -> module_expr * 'res ; module_expr_desc : 'ctx -> module_expr_desc -> module_expr_desc * 'res ; module_substitution : 'ctx -> module_substitution -> module_substitution * 'res ; module_type : 'ctx -> module_type -> module_type * 'res ; module_type_declaration : 'ctx -> module_type_declaration -> module_type_declaration * 'res ; module_type_desc : 'ctx -> module_type_desc -> module_type_desc * 'res ; mutable_flag : 'ctx -> mutable_flag -> mutable_flag * 'res ; object_field : 'ctx -> object_field -> object_field * 'res ; object_field_desc : 'ctx -> object_field_desc -> object_field_desc * 'res ; open_declaration : 'ctx -> open_declaration -> open_declaration * 'res ; open_description : 'ctx -> open_description -> open_description * 'res ; open_infos : 'a. ('ctx -> 'a -> 'a * 'res) -> 'ctx -> 'a open_infos -> 'a open_infos * 'res ; option : 'a. ('ctx -> 'a -> 'a * 'res) -> 'ctx -> 'a option -> 'a option * 'res ; other : 'a. 'ctx -> 'a -> 'res ; override_flag : 'ctx -> override_flag -> override_flag * 'res ; package_type : 'ctx -> package_type -> package_type * 'res ; pattern : 'ctx -> pattern -> pattern * 'res ; pattern_desc : 'ctx -> pattern_desc -> pattern_desc * 'res ; payload : 'ctx -> payload -> payload * 'res ; position : 'ctx -> position -> position * 'res ; private_flag : 'ctx -> private_flag -> private_flag * 'res ; rec_flag : 'ctx -> rec_flag -> rec_flag * 'res ; record : 'ctx -> (string * 'res) list -> 'res ; row_field : 'ctx -> row_field -> row_field * 'res ; row_field_desc : 'ctx -> row_field_desc -> row_field_desc * 'res ; signature : 'ctx -> signature -> signature * 'res ; signature_item : 'ctx -> signature_item -> signature_item * 'res ; signature_item_desc : 'ctx -> signature_item_desc -> signature_item_desc * 'res ; string : 'ctx -> string -> string * 'res ; structure : 'ctx -> structure -> structure * 'res ; structure_item : 'ctx -> structure_item -> structure_item * 'res ; structure_item_desc : 'ctx -> structure_item_desc -> structure_item_desc * 'res ; toplevel_directive : 'ctx -> toplevel_directive -> toplevel_directive * 'res ; toplevel_phrase : 'ctx -> toplevel_phrase -> toplevel_phrase * 'res ; tuple : 'ctx -> 'res list -> 'res ; type_declaration : 'ctx -> type_declaration -> type_declaration * 'res ; type_exception : 'ctx -> type_exception -> type_exception * 'res ; type_extension : 'ctx -> type_extension -> type_extension * 'res ; type_kind : 'ctx -> type_kind -> type_kind * 'res ; value_binding : 'ctx -> value_binding -> value_binding * 'res ; value_description : 'ctx -> value_description -> value_description * 'res ; variance : 'ctx -> variance -> variance * 'res ; virtual_flag : 'ctx -> virtual_flag -> virtual_flag * 'res ; with_constraint : 'ctx -> with_constraint -> with_constraint * 'res.. > -> 'ctx -> position -> position * 'res
method location : 'd -> 'ctx -> location -> location * 'res
method location_stack : 'd -> 'ctx -> location_stack -> location_stack * 'res
method loc : 'd -> 'a. ('ctx -> 'a -> 'a * 'res) -> 'ctx -> 'a loc -> 'a loc * 'res
method longident : 'd -> 'ctx -> longident -> longident * 'res
method longident_loc : 'd -> 'ctx -> longident_loc -> longident_loc * 'res
method rec_flag : 'd -> 'ctx -> rec_flag -> rec_flag * 'res
method direction_flag : 'd -> 'ctx -> direction_flag -> direction_flag * 'res
method private_flag : 'd -> 'ctx -> private_flag -> private_flag * 'res
method mutable_flag : 'd -> 'ctx -> mutable_flag -> mutable_flag * 'res
method virtual_flag : 'd -> 'ctx -> virtual_flag -> virtual_flag * 'res
method override_flag : 'd -> 'ctx -> override_flag -> override_flag * 'res
method closed_flag : 'd -> 'ctx -> closed_flag -> closed_flag * 'res
method label : 'd -> 'ctx -> label -> label * 'res
method arg_label : 'd -> 'ctx -> arg_label -> arg_label * 'res
method variance : 'd -> 'ctx -> variance -> variance * 'res
method injectivity : 'd -> 'ctx -> injectivity -> injectivity * 'res
method constant : 'd -> 'ctx -> constant -> constant * 'res
method attribute : 'd -> 'ctx -> attribute -> attribute * 'res
method extension : 'd -> 'ctx -> extension -> extension * 'res
method attributes : 'd -> 'ctx -> attributes -> attributes * 'res
method payload : 'd -> 'ctx -> payload -> payload * 'res
method core_type : 'd -> 'ctx -> core_type -> core_type * 'res
method core_type_desc : 'd -> 'ctx -> core_type_desc -> core_type_desc * 'res
method package_type : 'd -> 'ctx -> package_type -> package_type * 'res
method row_field : 'd -> 'ctx -> row_field -> row_field * 'res
method row_field_desc : 'd -> 'ctx -> row_field_desc -> row_field_desc * 'res
method object_field : 'd -> 'ctx -> object_field -> object_field * 'res
method object_field_desc : 'd -> 'ctx -> object_field_desc -> object_field_desc * 'res
method pattern : 'd -> 'ctx -> pattern -> pattern * 'res
method pattern_desc : 'd -> 'ctx -> pattern_desc -> pattern_desc * 'res
method expression : 'd -> 'ctx -> expression -> expression * 'res
method expression_desc : 'd -> 'ctx -> expression_desc -> expression_desc * 'res
method case : 'd -> 'ctx -> case -> case * 'res
method letop : 'd -> 'ctx -> letop -> letop * 'res
method binding_op : 'd -> 'ctx -> binding_op -> binding_op * 'res
method value_description : 'd -> 'ctx -> value_description -> value_description * 'res
method type_declaration : 'd -> 'ctx -> type_declaration -> type_declaration * 'res
method type_kind : 'd -> 'ctx -> type_kind -> type_kind * 'res
method label_declaration : 'd -> 'ctx -> label_declaration -> label_declaration * 'res
method constructor_declaration : 'd -> 'ctx -> constructor_declaration -> constructor_declaration * 'res
method constructor_arguments : 'd -> 'ctx -> constructor_arguments -> constructor_arguments * 'res
method type_extension : 'd -> 'ctx -> type_extension -> type_extension * 'res
method extension_constructor : 'd -> 'ctx -> extension_constructor -> extension_constructor * 'res
method type_exception : 'd -> 'ctx -> type_exception -> type_exception * 'res
method extension_constructor_kind : 'd -> 'ctx -> extension_constructor_kind -> extension_constructor_kind * 'res
method class_type : 'd -> 'ctx -> class_type -> class_type * 'res
method class_type_desc : 'd -> 'ctx -> class_type_desc -> class_type_desc * 'res
method class_signature : 'd -> 'ctx -> class_signature -> class_signature * 'res
method class_type_field : 'd -> 'ctx -> class_type_field -> class_type_field * 'res
method class_type_field_desc : 'd -> 'ctx -> class_type_field_desc -> class_type_field_desc * 'res
method class_infos : 'd -> 'a. ('ctx -> 'a -> 'a * 'res) -> 'ctx -> 'a class_infos -> 'a class_infos * 'res
method class_description : 'd -> 'ctx -> class_description -> class_description * 'res
method class_type_declaration : 'd -> 'ctx -> class_type_declaration -> class_type_declaration * 'res
method class_expr : 'd -> 'ctx -> class_expr -> class_expr * 'res
method class_expr_desc : 'd -> 'ctx -> class_expr_desc -> class_expr_desc * 'res
method class_structure : 'd -> 'ctx -> class_structure -> class_structure * 'res
method class_field : 'd -> 'ctx -> class_field -> class_field * 'res
method class_field_desc : 'd -> 'ctx -> class_field_desc -> class_field_desc * 'res
method class_field_kind : 'd -> 'ctx -> class_field_kind -> class_field_kind * 'res
method class_declaration : 'd -> 'ctx -> class_declaration -> class_declaration * 'res
method module_type : 'd -> 'ctx -> module_type -> module_type * 'res
method module_type_desc : 'd -> 'ctx -> module_type_desc -> module_type_desc * 'res
method functor_parameter : 'd -> 'ctx -> functor_parameter -> functor_parameter * 'res
method signature : 'd -> 'ctx -> signature -> signature * 'res
method signature_item : 'd -> 'ctx -> signature_item -> signature_item * 'res
method signature_item_desc : 'd -> 'ctx -> signature_item_desc -> signature_item_desc * 'res
method module_declaration : 'd -> 'ctx -> module_declaration -> module_declaration * 'res
method module_substitution : 'd -> 'ctx -> module_substitution -> module_substitution * 'res
method module_type_declaration : 'd -> 'ctx -> module_type_declaration -> module_type_declaration * 'res
method open_infos : 'd -> 'a. ('ctx -> 'a -> 'a * 'res) -> 'ctx -> 'a open_infos -> 'a open_infos * 'res
method open_description : 'd -> 'ctx -> open_description -> open_description * 'res
method open_declaration : 'd -> 'ctx -> open_declaration -> open_declaration * 'res
method include_infos : 'd -> 'a. ('ctx -> 'a -> 'a * 'res) -> 'ctx -> 'a include_infos -> 'a include_infos * 'res
method include_description : 'd -> 'ctx -> include_description -> include_description * 'res
method include_declaration : 'd -> 'ctx -> include_declaration -> include_declaration * 'res
method with_constraint : 'd -> 'ctx -> with_constraint -> with_constraint * 'res
method module_expr : 'd -> 'ctx -> module_expr -> module_expr * 'res
method module_expr_desc : 'd -> 'ctx -> module_expr_desc -> module_expr_desc * 'res
method structure : 'd -> 'ctx -> structure -> structure * 'res
method structure_item : 'd -> 'ctx -> structure_item -> structure_item * 'res
method structure_item_desc : 'd -> 'ctx -> structure_item_desc -> structure_item_desc * 'res
method value_binding : 'd -> 'ctx -> value_binding -> value_binding * 'res
method module_binding : 'd -> 'ctx -> module_binding -> module_binding * 'res
method toplevel_phrase : 'd -> 'ctx -> toplevel_phrase -> toplevel_phrase * 'res
method toplevel_directive : 'd -> 'ctx -> toplevel_directive -> toplevel_directive * 'res
method directive_argument : 'd -> 'ctx -> directive_argument -> directive_argument * 'res
method directive_argument_desc : 'd -> 'ctx -> directive_argument_desc -> directive_argument_desc * 'res
method cases : 'd -> 'ctx -> cases -> cases * 'res