include sig ... endtype item = Types.itemtype module_binding = Types.module_bindingtype module_expr = Types.module_exprtype contents = item listtype include_declaration = module_expr Parsetree.include_infostype item_desc = Ast_definitions(Types).item_desc = | Extension of Parsetree.extension * Parsetree.attributes| Type of Asttypes.rec_flag * Parsetree.type_declaration list| Module of module_binding| Modtype of Parsetree.module_type_declaration| Include of include_declaration| Other of itemtype wrapped_item = item_desc Location.locval mkattr :
loc:Location.t ->
?attrs:Parsetree.attributes ->
'a ->
'a attributed Location.loctype module_binding_desc = Ast_definitions(Types).module_binding_desc = {name : string option Location.loc;expr : module_expr;}type wrapped_module_binding = module_binding_desc attributed Location.loctype module_expr_desc = Ast_definitions(Types).module_expr_desc = | Ident of Longident.t Location.loc| Contents of contents| Functor of Metapp.functor_parameter * module_expr| Constraint of module_expr Stdcompat.Lazy.t * Parsetree.module_type| Other of module_exprtype wrapped_module_expr = module_expr_desc attributed Location.locval empty : unit -> itemval destruct : item -> wrapped_itemval build : wrapped_item -> itemval choose :
(unit -> Parsetree.structure_item) ->
(unit -> Parsetree.signature_item) ->
itemval format : Stdcompat.Format.formatter -> contents -> unitval destruct_payload : loc:Location.t -> 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 -> Parsetree.module_expr) ->
(unit -> Parsetree.module_type) ->
module_expr