module Types = Signature_typesinclude sig ... endtype item = Types.itemtype module_binding = Types.module_bindingtype module_expr = Types.module_exprtype contents = item listtype include_declaration = module_expr Ppxlib.Parsetree.include_infostype item_desc = Ast_definitions(Types).item_desc = | Extension of Ppxlib.Parsetree.extension * Ppxlib.Parsetree.attributes| Type of Ppxlib.Asttypes.rec_flag * Ppxlib.Parsetree.type_declaration list| Module of module_binding| Modtype of Ppxlib.Parsetree.module_type_declaration| Include of include_declaration| Other of itemtype wrapped_item = item_desc Ppxlib.Location.loctype !'a attributed = 'a Ast_definitions(Types).attributed = {attrs : Ppxlib.Parsetree.attributes;contents : 'a;}val mkattr :
loc:Ppxlib.location ->
?attrs:Ppxlib.Parsetree.attributes ->
'a ->
'a attributed Ppxlib.Location.loctype module_binding_desc = Ast_definitions(Types).module_binding_desc = {name : string option Ppxlib.Location.loc;expr : module_expr;}type wrapped_module_binding =
module_binding_desc attributed Ppxlib.Location.loctype module_expr_desc = Ast_definitions(Types).module_expr_desc = | Ident of Ppxlib.Longident.t Ppxlib.Location.loc| Contents of contents| Functor of Metapp.functor_parameter * module_expr| Constraint of module_expr Stdcompat.Lazy.t * Ppxlib.Parsetree.module_type| Other of module_exprtype wrapped_module_expr = module_expr_desc attributed Ppxlib.Location.locval empty : unit -> itemval destruct : item -> wrapped_itemval build : wrapped_item -> itemval choose :
(unit -> Ppxlib.Parsetree.structure_item) ->
(unit -> Ppxlib.Parsetree.signature_item) ->
itemval map : Ppxlib.Ast_traverse.map -> contents -> contentsval map_item : Ppxlib.Ast_traverse.map -> item -> itemval format : Stdcompat.Format.formatter -> contents -> unitval destruct_payload :
loc:Ppxlib.Location.t ->
Ppxlib.Parsetree.payload ->
contentsval destruct_module_binding : module_binding -> wrapped_module_bindingval build_module_binding : wrapped_module_binding -> module_bindingval destruct_module_expr : module_expr -> wrapped_module_exprval build_module_expr : wrapped_module_expr -> module_exprval choose_module_expr :
(unit -> Ppxlib.Parsetree.module_expr) ->
(unit -> Ppxlib.Parsetree.module_type) ->
module_exprval context : item Ppxlib.Extension.Context.t