Module Ppxlib_metaquot.Make

Parameters

module M : sig ... end

Signature

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