include MenhirLib.IncrementalEngine.INCREMENTAL_ENGINE with type token = tokentype token = tokenval offer :
'a checkpoint ->
(token
* MenhirLib.IncrementalEngine.position
* MenhirLib.IncrementalEngine.position) ->
'a checkpointval resume : ?strategy:strategy -> 'a checkpoint -> 'a checkpointtype supplier =
unit ->
token
* MenhirLib.IncrementalEngine.position
* MenhirLib.IncrementalEngine.positionval lexer_lexbuf_to_supplier :
(Lexing.lexbuf -> token) ->
Lexing.lexbuf ->
supplierval loop : ?strategy:strategy -> supplier -> 'a checkpoint -> 'aval loop_handle :
('a -> 'answer) ->
('a checkpoint -> 'answer) ->
supplier ->
'a checkpoint ->
'answerval loop_handle_undo :
('a -> 'answer) ->
('a checkpoint -> 'a checkpoint -> 'answer) ->
supplier ->
'a checkpoint ->
'answerval shifts : 'a checkpoint -> 'a env optionval acceptable :
'a checkpoint ->
token ->
MenhirLib.IncrementalEngine.position ->
boolval number : _ lr1state -> intval production_index : production -> intval find_production : int -> productiontype element = | Element : 'a lr1state
* 'a
* MenhirLib.IncrementalEngine.position
* MenhirLib.IncrementalEngine.position -> elementtype stack = element MenhirLib.General.streamval current_state_number : 'a env -> intval positions :
'a env ->
MenhirLib.IncrementalEngine.position * MenhirLib.IncrementalEngine.positionval env_has_default_reduction : 'a env -> boolval state_has_default_reduction : _ lr1state -> boolval force_reduction : production -> 'a env -> 'a envval input_needed : 'a env -> 'a checkpointtype 'a terminal = 'a Cpp_parsing.Tokens_.MenhirInterpreter.terminaltype _ nonterminal = | N_yield_expression : Ast.node nonterminal| N_virt_specifier_seq : Ast.node list nonterminal| N_virt_specifier : Ast.node nonterminal| N_using_enum_declarator : Ast.node nonterminal| N_using_enum_declaration : Ast.node nonterminal| N_using_declarator_list : Ast.node list nonterminal| N_using_declarator : Ast.node nonterminal| N_using_declaration : Ast.node nonterminal| N_unqualified_id : Ast.node nonterminal| N_unnamed_namespace_definition_head : (Ast.node list * Ast.node list * string)
nonterminal| N_unnamed_namespace_definition : Ast.node nonterminal| N_unary_operator : Label.t nonterminal| N_unary_expression : Ast.node nonterminal| N_typename_specifier : Ast.node nonterminal| N_type_sub : Ast.node nonterminal| N_type_specifier : Ast.node nonterminal| N_type_requirement : Ast.node nonterminal| N_type_parameter : Ast.node nonterminal| N_type_name : Ast.node nonterminal| N_type_id : Ast.node nonterminal| N_type_constraint : Ast.node nonterminal| N_ty_macro_call : Ast.node nonterminal| N_try_block : Ast.node nonterminal| N_translation_unit : Ast.node nonterminal| N_trailing_return_type : Ast.node nonterminal| N_token_seq : Token.t list nonterminal| N_token_no_paren : Token.t nonterminal| N_token : Token.t nonterminal| N_throw_expression : Ast.node nonterminal| N_template_parameter_list : Ast.node list nonterminal| N_template_parameter : Ast.node nonterminal| N_template_id : Ast.node nonterminal| N_template_head : Ast.node nonterminal| N_template_declaration : Ast.node nonterminal| N_template_argument_list_opt : Ast.node list option nonterminal| N_template_argument_list : Ast.node list nonterminal| N_template_argument : Ast.node nonterminal| N_templ_param_macro_call : Ast.node nonterminal| N_swift_arg : Ast.node nonterminal| N_suffix_macro_call : Ast.node nonterminal| N_string_literal_list : Ast.node list nonterminal| N_string_literal_ : Ast.node nonterminal| N_string_literal : Ast.node nonterminal| N_str_ : Ast.node nonterminal| N_storage_class_specifier : Ast.node nonterminal| N_stmts_sub : Ast.node nonterminal| N_stmts_macro_arg : Ast.node list nonterminal| N_stmt_macro_call : Ast.node nonterminal| N_stmt_macro_arg : Ast.node nonterminal| N_static_assert_declaration : Ast.node nonterminal| N_statement_seq_opt : Ast.node list option nonterminal| N_statement : Ast.node nonterminal| N_specs_sub : Ast.node nonterminal| N_special_token : unit nonterminal| N_simple_type_specifier : Ast.node nonterminal| N_simple_template_id_ : Ast.node nonterminal| N_simple_template_id : Ast.node nonterminal| N_simple_requirement : Ast.node nonterminal| N_simple_capture : Ast.node nonterminal| N_shift_expression : Ast.node nonterminal| N_separated_nonempty_list_COMMA_type_id_ : Ast.node list nonterminal| N_separated_nonempty_list_COMMA_objc_struct_dtor_ : Ast.node list nonterminal| N_separated_nonempty_list_COMMA_objc_property_attr_ : Ast.node list nonterminal| N_separated_nonempty_list_COMMA_objc_key_value_ : Ast.node list nonterminal| N_separated_nonempty_list_COMMA_objc_class_name_ : Ast.node list nonterminal| N_separated_nonempty_list_COMMA_objc_avail_item_ : Ast.node list nonterminal| N_separated_nonempty_list_COMMA_mock_qualifier_ : Ast.node list nonterminal| N_separated_nonempty_list_COMMA_conditional_expression_ : Ast.node list
nonterminal| N_selection_statement : Ast.node nonterminal| N_s_token : (token * Lexing.position * Lexing.position) nonterminal| N_return_type_requirement : Ast.node nonterminal| N_restricted_xor_expr : Ast.node nonterminal| N_restricted_unary_expr : Ast.node nonterminal| N_restricted_shift_expr : Ast.node nonterminal| N_restricted_rel_expr : Ast.node nonterminal| N_restricted_prim_expr : Ast.node nonterminal| N_restricted_postfix_expr : Ast.node nonterminal| N_restricted_pm_expr : Ast.node nonterminal| N_restricted_mult_expr : Ast.node nonterminal| N_restricted_lor_expr : Ast.node nonterminal| N_restricted_land_expr : Ast.node nonterminal| N_restricted_ior_expr : Ast.node nonterminal| N_restricted_expr : Ast.node nonterminal| N_restricted_eq_expr : Ast.node nonterminal| N_restricted_decls : Ast.node list nonterminal| N_restricted_decl : Ast.node nonterminal| N_restricted_cond_expr : Ast.node nonterminal| N_restricted_comp_expr : Ast.node nonterminal| N_restricted_cast_expr : Ast.node nonterminal| N_restricted_assign_expr : Ast.node nonterminal| N_restricted_and_expr : Ast.node nonterminal| N_restricted_add_expr : Ast.node nonterminal| N_requires_expression : Ast.node nonterminal| N_requires_clause : Ast.node nonterminal| N_requirement_seq : Ast.node list nonterminal| N_requirement_parameter_list : Ast.node nonterminal| N_requirement_body : Ast.node nonterminal| N_requirement : Ast.node nonterminal| N_relational_expression : Ast.node nonterminal| N_ref_qualifier : Ast.node nonterminal| N_quasi_keyword : Token.t nonterminal| N_qualified_id : Ast.node nonterminal| N_q_prop_token : Ast.node nonterminal| N_pure_specifier : Ast.node nonterminal| N_ptr_operator : Ast.node nonterminal| N_ptr_declarator : Ast.node nonterminal| N_ptr_abstract_declarator : Ast.node nonterminal| N_primary_expression : Ast.node nonterminal| N_pp_templ_param_if_section : Ast.node nonterminal| N_pp_templ_param_if_group : Ast.node nonterminal| N_pp_templ_param_else_group : Ast.node nonterminal| N_pp_templ_param_elif_group : Ast.node nonterminal| N_pp_templ_arg_if_section : Ast.node nonterminal| N_pp_templ_arg_if_group : Ast.node nonterminal| N_pp_templ_arg_else_group : Ast.node nonterminal| N_pp_templ_arg_elif_group : Ast.node nonterminal| N_pp_str_if_section : Ast.node nonterminal| N_pp_str_if_group : Ast.node nonterminal| N_pp_str_else_group : Ast.node nonterminal| N_pp_str_elif_group : Ast.node nonterminal| N_pp_stmt_if_section_closing : Ast.node nonterminal| N_pp_stmt_if_section_close_open : Ast.node nonterminal| N_pp_stmt_if_section_broken : Ast.node nonterminal| N_pp_stmt_if_section : Ast.node nonterminal| N_pp_stmt_if_group_closing : Ast.node nonterminal| N_pp_stmt_if_group_close_open : Ast.node nonterminal| N_pp_stmt_if_group_broken : Ast.node nonterminal| N_pp_stmt_if_group : Ast.node nonterminal| N_pp_stmt_else_group_closing : Ast.node nonterminal| N_pp_stmt_else_group_close_open : Ast.node nonterminal| N_pp_stmt_else_group_broken : Ast.node nonterminal| N_pp_stmt_else_group : Ast.node nonterminal| N_pp_stmt_elif_group_closing : Ast.node nonterminal| N_pp_stmt_elif_group_close_open : Ast.node nonterminal| N_pp_stmt_elif_group_broken : Ast.node nonterminal| N_pp_stmt_elif_group : Ast.node nonterminal| N_pp_spec_if_section : Ast.node nonterminal| N_pp_spec_if_group : Ast.node nonterminal| N_pp_spec_else_group : Ast.node nonterminal| N_pp_spec_elif_group : Ast.node nonterminal| N_pp_param_list : Label.macro_kind nonterminal| N_pp_param_if_section : Ast.node nonterminal| N_pp_param_if_group : Ast.node nonterminal| N_pp_param_else_group : Ast.node nonterminal| N_pp_param_elif_group : Ast.node nonterminal| N_pp_p_if_section : Ast.node nonterminal| N_pp_p_if_group : Ast.node nonterminal| N_pp_p_else_group : Ast.node nonterminal| N_pp_p_elif_group : Ast.node nonterminal| N_pp_old_param_decl_list_if_section : Ast.node nonterminal| N_pp_old_param_decl_list_if_group : Ast.node nonterminal| N_pp_old_param_decl_list_else_group : Ast.node nonterminal| N_pp_old_param_decl_list_elif_group : Ast.node nonterminal| N_pp_objc_protocol_ref_list_if_section : Ast.node nonterminal| N_pp_objc_protocol_ref_list_else_group : Ast.node nonterminal| N_pp_objc_protocol_ref_list_elif_group : Ast.node nonterminal| N_pp_objc_proto_name_if_section : Ast.node nonterminal| N_pp_objc_proto_name_if_group : Ast.node nonterminal| N_pp_objc_proto_name_else_group : Ast.node nonterminal| N_pp_objc_proto_name_elif_group : Ast.node nonterminal| N_pp_objc_ivar_decl_if_section : Ast.node nonterminal| N_pp_objc_ivar_decl_if_group : Ast.node nonterminal| N_pp_objc_ivar_decl_else_group : Ast.node nonterminal| N_pp_objc_ivar_decl_elif_group : Ast.node nonterminal| N_pp_objc_idecl_if_section : Ast.node nonterminal| N_pp_objc_idecl_if_group : Ast.node nonterminal| N_pp_objc_idecl_else_group : Ast.node nonterminal| N_pp_objc_idecl_elif_group : Ast.node nonterminal| N_pp_objc_class_interface_head_if_section : Ast.node nonterminal| N_pp_objc_class_interface_head_if_group : Ast.node nonterminal| N_pp_objc_class_interface_head_else_group : Ast.node nonterminal| N_pp_objc_class_interface_head_elif_group : Ast.node nonterminal| N_pp_objc_category_interface_head_if_section : Ast.node nonterminal| N_pp_objc_category_interface_head_if_group : Ast.node nonterminal| N_pp_objc_category_interface_head_else_group : Ast.node nonterminal| N_pp_objc_category_interface_head_elif_group : Ast.node nonterminal| N_pp_minit_if_section_broken : Ast.node nonterminal| N_pp_minit_if_section : Ast.node nonterminal| N_pp_minit_if_group_broken : Ast.node nonterminal| N_pp_minit_if_group : Ast.node nonterminal| N_pp_minit_else_group_broken : Ast.node nonterminal| N_pp_minit_else_group : Ast.node nonterminal| N_pp_minit_elif_group_broken : Ast.node nonterminal| N_pp_minit_elif_group : Ast.node nonterminal| N_pp_mdecl_if_section_broken : Ast.node nonterminal| N_pp_mdecl_if_section : Ast.node nonterminal| N_pp_mdecl_if_group_broken : Ast.node nonterminal| N_pp_mdecl_if_group : Ast.node nonterminal| N_pp_mdecl_else_group_broken : Ast.node nonterminal| N_pp_mdecl_else_group : Ast.node nonterminal| N_pp_mdecl_elif_group_broken : Ast.node nonterminal| N_pp_mdecl_elif_group : Ast.node nonterminal| N_pp_lor_if_section : Ast.node nonterminal| N_pp_lor_if_group : Ast.node nonterminal| N_pp_lor_else_group : Ast.node nonterminal| N_pp_lor_elif_group : Ast.node nonterminal| N_pp_land_if_section : Ast.node nonterminal| N_pp_land_if_group : Ast.node nonterminal| N_pp_land_else_group : Ast.node nonterminal| N_pp_land_elif_group : Ast.node nonterminal| N_pp_lambda_head_if_section_broken : Ast.node nonterminal| N_pp_lambda_head_if_group_broken : Ast.node nonterminal| N_pp_lambda_head_else_group_broken : Ast.node nonterminal| N_pp_lambda_head_elif_group_broken : Ast.node nonterminal| N_pp_ior_if_section_seq : Ast.node list nonterminal| N_pp_ior_if_section : Ast.node nonterminal| N_pp_ior_if_group : Ast.node nonterminal| N_pp_ior_else_group : Ast.node nonterminal| N_pp_ior_elif_group : Ast.node nonterminal| N_pp_init_if_section_closing : Ast.node nonterminal| N_pp_init_if_section : Ast.node nonterminal| N_pp_init_if_group_closing : Ast.node nonterminal| N_pp_init_if_group : Ast.node nonterminal| N_pp_init_else_group_closing : Ast.node nonterminal| N_pp_init_else_group : Ast.node nonterminal| N_pp_init_elif_group_closing : Ast.node nonterminal| N_pp_init_elif_group : Ast.node nonterminal| N_pp_ifx_x : Ast.node nonterminal| N_pp_ifx_shift : Ast.node nonterminal| N_pp_ifx_s : Ast.node nonterminal| N_pp_ifx_p : Ast.node nonterminal| N_pp_ifx_o : Ast.node nonterminal| N_pp_ifx_i : Ast.node nonterminal| N_pp_ifx_h : Ast.node nonterminal| N_pp_ifx_eh : Ast.node nonterminal| N_pp_ifx_e : Ast.node nonterminal| N_pp_ifx_d : Ast.node nonterminal| N_pp_ifx_cond_ : Ast.node nonterminal| N_pp_ifx_cond : Ast.node nonterminal| N_pp_ifx_closing : Ast.node nonterminal| N_pp_ifx_close_open : Ast.node nonterminal| N_pp_ifx_cb : Ast.node nonterminal| N_pp_ifx_c : Ast.node nonterminal| N_pp_ifx_broken : Ast.node nonterminal| N_pp_ifx_b : Ast.node nonterminal| N_pp_ifx_attr : Ast.node nonterminal| N_pp_ifx_a : Ast.node nonterminal| N_pp_ifx : Ast.node nonterminal| N_pp_ifstmt_if_section_closing : Ast.node nonterminal| N_pp_ifstmt_if_group_closing : Ast.node nonterminal| N_pp_ifstmt_else_group_closing : Ast.node nonterminal| N_pp_ifstmt_elif_group_closing : Ast.node nonterminal| N_pp_idtor_if_section : Ast.node nonterminal| N_pp_idtor_if_group : Ast.node nonterminal| N_pp_idtor_else_group : Ast.node nonterminal| N_pp_idtor_elif_group : Ast.node nonterminal| N_pp_handler_if_section_broken : Ast.node nonterminal| N_pp_handler_if_section : Ast.node nonterminal| N_pp_handler_if_group_broken : Ast.node nonterminal| N_pp_handler_if_group : Ast.node nonterminal| N_pp_handler_else_group_broken : Ast.node nonterminal| N_pp_handler_else_group : Ast.node nonterminal| N_pp_handler_elif_group_broken : Ast.node nonterminal| N_pp_handler_elif_group : Ast.node nonterminal| N_pp_gnu_asm_if_section : Ast.node nonterminal| N_pp_gnu_asm_if_group : Ast.node nonterminal| N_pp_gnu_asm_else_group : Ast.node nonterminal| N_pp_gnu_asm_elif_group : Ast.node nonterminal| N_pp_func_head_if_section_broken : Ast.node nonterminal| N_pp_func_head_if_group_broken : Ast.node nonterminal| N_pp_func_head_else_group_broken : Ast.node nonterminal| N_pp_func_head_elif_group_broken : Ast.node nonterminal| N_pp_func_body_if_section : Ast.node nonterminal| N_pp_func_body_if_group : Ast.node nonterminal| N_pp_func_body_else_group : Ast.node nonterminal| N_pp_func_body_elif_group : Ast.node nonterminal| N_pp_expr_if_section_broken2 : Ast.node nonterminal| N_pp_expr_if_section_broken : Ast.node nonterminal| N_pp_expr_if_section : Ast.node nonterminal| N_pp_expr_if_group_broken2 : Ast.node nonterminal| N_pp_expr_if_group_broken : Ast.node nonterminal| N_pp_expr_if_group : Ast.node nonterminal| N_pp_expr_else_group_broken2 : Ast.node nonterminal| N_pp_expr_else_group_broken : Ast.node nonterminal| N_pp_expr_else_group : Ast.node nonterminal| N_pp_expr_elif_group_broken2 : Ast.node nonterminal| N_pp_expr_elif_group_broken : Ast.node nonterminal| N_pp_expr_elif_group : Ast.node nonterminal| N_pp_enum_if_section_closing : Ast.node nonterminal| N_pp_enum_if_group_closing : Ast.node nonterminal| N_pp_enum_head_if_section : Ast.node nonterminal| N_pp_enum_head_if_group : Ast.node nonterminal| N_pp_enum_head_else_group : Ast.node nonterminal| N_pp_enum_head_elif_group : Ast.node nonterminal| N_pp_enum_else_group_closing : Ast.node nonterminal| N_pp_enum_elif_group_closing : Ast.node nonterminal| N_pp_endif : Ast.node nonterminal| N_pp_else : Ast.node nonterminal| N_pp_elif : Ast.node nonterminal| N_pp_edef_if_section : Ast.node nonterminal| N_pp_edef_if_group : Ast.node nonterminal| N_pp_edef_else_group : Ast.node nonterminal| N_pp_edef_elif_group : Ast.node nonterminal| N_pp_dtor_if_section_broken : Ast.node nonterminal| N_pp_dtor_if_section : Ast.node nonterminal| N_pp_dtor_if_group_broken : Ast.node nonterminal| N_pp_dtor_if_group : Ast.node nonterminal| N_pp_dtor_else_group_broken : Ast.node nonterminal| N_pp_dtor_else_group : Ast.node nonterminal| N_pp_dtor_elif_group_broken : Ast.node nonterminal| N_pp_dtor_elif_group : Ast.node nonterminal| N_pp_dinit_if_section : Ast.node nonterminal| N_pp_dinit_if_group : Ast.node nonterminal| N_pp_dinit_else_group : Ast.node nonterminal| N_pp_dinit_elif_group : Ast.node nonterminal| N_pp_decl_spec_if_section : Ast.node nonterminal| N_pp_decl_spec_if_group : Ast.node nonterminal| N_pp_decl_spec_else_group : Ast.node nonterminal| N_pp_decl_spec_elif_group : Ast.node nonterminal| N_pp_decl_if_section_broken : Ast.node nonterminal| N_pp_decl_if_section : Ast.node nonterminal| N_pp_decl_if_group_broken : Ast.node nonterminal| N_pp_decl_if_group : Ast.node nonterminal| N_pp_decl_else_group_broken : Ast.node nonterminal| N_pp_decl_else_group : Ast.node nonterminal| N_pp_decl_elif_group_broken : Ast.node nonterminal| N_pp_decl_elif_group : Ast.node nonterminal| N_pp_ctor_init_if_section : Ast.node nonterminal| N_pp_ctor_init_if_group : Ast.node nonterminal| N_pp_ctor_init_else_group : Ast.node nonterminal| N_pp_ctor_init_elif_group : Ast.node nonterminal| N_pp_control_line : Ast.node nonterminal| N_pp_cond_tl_if_section : Ast.node nonterminal| N_pp_cond_tl_if_group : Ast.node nonterminal| N_pp_cond_tl_else_group : Ast.node nonterminal| N_pp_cond_tl_elif_group : Ast.node nonterminal| N_pp_cond_if_section : Ast.node nonterminal| N_pp_cond_if_group : Ast.node nonterminal| N_pp_cond_hd_if_section : Ast.node nonterminal| N_pp_cond_hd_if_group : Ast.node nonterminal| N_pp_cond_hd_else_group : Ast.node nonterminal| N_pp_cond_hd_elif_group : Ast.node nonterminal| N_pp_cond_else_group : Ast.node nonterminal| N_pp_cond_elif_group : Ast.node nonterminal| N_pp_concat : Ast.node nonterminal| N_pp_class_head_if_section_broken : Ast.node nonterminal| N_pp_class_head_if_section : Ast.node nonterminal| N_pp_class_head_if_group_broken : Ast.node nonterminal| N_pp_class_head_if_group : Ast.node nonterminal| N_pp_class_head_else_group_broken : Ast.node nonterminal| N_pp_class_head_else_group : Ast.node nonterminal| N_pp_class_head_elif_group_broken : Ast.node nonterminal| N_pp_class_head_elif_group : Ast.node nonterminal| N_pp_class_body_if_section : Ast.node nonterminal| N_pp_class_body_if_group : Ast.node nonterminal| N_pp_class_body_else_group : Ast.node nonterminal| N_pp_class_body_elif_group : Ast.node nonterminal| N_pp_cc_if_section : Ast.node nonterminal| N_pp_cc_if_group : Ast.node nonterminal| N_pp_cc_else_group : Ast.node nonterminal| N_pp_cc_elif_group : Ast.node nonterminal| N_pp_capture_if_section : Ast.node nonterminal| N_pp_capture_if_group : Ast.node nonterminal| N_pp_capture_else_group : Ast.node nonterminal| N_pp_capture_elif_group : Ast.node nonterminal| N_pp_base_clause_if_section : Ast.node nonterminal| N_pp_base_clause_if_group : Ast.node nonterminal| N_pp_base_clause_else_group : Ast.node nonterminal| N_pp_base_clause_elif_group : Ast.node nonterminal| N_pp_attr_if_section : Ast.node nonterminal| N_pp_attr_if_group : Ast.node nonterminal| N_pp_attr_else_group : Ast.node nonterminal| N_pp_attr_elif_group : Ast.node nonterminal| N_pp_args_if_section_closing : Ast.node nonterminal| N_pp_args_if_section_close_open : Ast.node nonterminal| N_pp_args_if_group_closing : Ast.node nonterminal| N_pp_args_if_group_close_open : Ast.node nonterminal| N_pp_args_else_group_closing : Ast.node nonterminal| N_pp_args_else_group_close_open : Ast.node nonterminal| N_pp_args_elif_group_closing : Ast.node nonterminal| N_pp_args_elif_group_close_open : Ast.node nonterminal| N_pp_aexpr_if_section_closing : Ast.node nonterminal| N_pp_aexpr_if_section : Ast.node nonterminal| N_pp_aexpr_if_group_closing : Ast.node nonterminal| N_pp_aexpr_if_group : Ast.node nonterminal| N_pp_aexpr_else_group_closing : Ast.node nonterminal| N_pp_aexpr_else_group : Ast.node nonterminal| N_pp_aexpr_elif_group_closing : Ast.node nonterminal| N_pp_aexpr_elif_group : Ast.node nonterminal| N_pp_a_if_section : Ast.node nonterminal| N_pp_a_if_group : Ast.node nonterminal| N_pp_a_else_group : Ast.node nonterminal| N_pp_a_elif_group : Ast.node nonterminal| N_postfix_expression : Ast.node nonterminal| N_pm_expression : Ast.node nonterminal| N_placeholder_type_specifier : Ast.node nonterminal| N_params_list : Ast.node list nonterminal| N_params_body_macro_call : Ast.node nonterminal| N_params_body_macro : Ast.node nonterminal| N_parameters_and_qualifiers : Ast.node nonterminal| N_parameter_declaration_list : Ast.node list nonterminal| N_parameter_declaration_clause : Ast.node nonterminal| N_parameter_declaration : Ast.node nonterminal| N_operator_function_id : Ast.node nonterminal| N_operator : Ast.node nonterminal| N_opaque_enum_declaration : Ast.node nonterminal| N_op_macro_call : Ast.node nonterminal| N_old_param_decl_list : Ast.node list nonterminal| N_old_param_decl : Ast.node nonterminal| N_old_init_decl_list : Ast.node list nonterminal| N_odd_stmt : Ast.node nonterminal| N_odd_mult_expr : Ast.node nonterminal| N_odd_mem_decl : Ast.node nonterminal| N_odd_if_stmt_open : Ast.node nonterminal| N_odd_expr : Ast.node nonterminal| N_odd_else_stmt : Ast.node nonterminal| N_odd_decl : Ast.node nonterminal| N_objc_visibility_spec : Ast.node nonterminal| N_objc_try_block : Ast.node nonterminal| N_objc_try : Ast.node nonterminal| N_objc_superclass : Ast.node nonterminal| N_objc_struct_dtor : Ast.node nonterminal| N_objc_struct_decl : Ast.node nonterminal| N_objc_selector_expr : Ast.node nonterminal| N_objc_selector : Ast.node nonterminal| N_objc_qualified_interface_decl : Ast.node nonterminal| N_objc_qualified_idecl_seq : Ast.node list nonterminal| N_objc_protocol_ref_list : Ast.node nonterminal| N_objc_protocol_name_list : Ast.node list nonterminal| N_objc_protocol_name : Ast.node nonterminal| N_objc_protocol_expr : Ast.node nonterminal| N_objc_protocol_decl_list : Ast.node nonterminal| N_objc_protocol_decl : Ast.node nonterminal| N_objc_property_decl : Ast.node nonterminal| N_objc_property_attrs_decl : Ast.node nonterminal| N_objc_property_attr : Ast.node nonterminal| N_objc_odd_decl : Ast.node nonterminal| N_objc_method_type : Ast.node nonterminal| N_objc_method_selector : Ast.node nonterminal| N_objc_method_decl : Ast.node nonterminal| N_objc_message_selector : Ast.node nonterminal| N_objc_message_expr : Ast.node nonterminal| N_objc_literal : Ast.node nonterminal| N_objc_keyword_selector : Ast.node nonterminal| N_objc_keyword_name_list : Ast.node list nonterminal| N_objc_keyword_name : Ast.node nonterminal| N_objc_keyword_dtor : Ast.node nonterminal| N_objc_keyword_arg : Ast.node nonterminal| N_objc_key_value : Ast.node nonterminal| N_objc_interface_decl : Ast.node nonterminal| N_objc_instance_vars : Ast.node nonterminal| N_objc_instance_var_decl : Ast.node nonterminal| N_objc_identifier : Ast.node nonterminal| N_objc_idecl_seq : Ast.node list nonterminal| N_objc_finally : Ast.node nonterminal| N_objc_encode_expr : Ast.node nonterminal| N_objc_dict : Ast.node nonterminal| N_objc_decls_sub : Ast.node nonterminal| N_objc_class_name : Ast.node nonterminal| N_objc_class_interface : Ast.node nonterminal| N_objc_class_decl_list : Ast.node nonterminal| N_objc_category_interface : Ast.node nonterminal| N_objc_catch_clause : Ast.node nonterminal| N_objc_available : Ast.node nonterminal| N_objc_avail_item : Ast.node nonterminal| N_objc_array : Ast.node nonterminal| N_noptr_new_declarator : Ast.node nonterminal| N_noptr_declarator : Ast.node nonterminal| N_noptr_abstract_pack_declarator : Ast.node nonterminal| N_noptr_abstract_declarator : Ast.node nonterminal| N_nonempty_list_token_ : Token.t list nonterminal| N_nonempty_list_swift_arg_ : Ast.node list nonterminal| N_nonempty_list_s_token_ : (token * Lexing.position * Lexing.position) list
nonterminal| N_nonempty_list_q_prop_token_ : Ast.node list nonterminal| N_nonempty_list_pp_param_if_section_ : Ast.node list nonterminal| N_nonempty_list_pp_idtor_if_section_ : Ast.node list nonterminal| N_nonempty_list_pp_control_line_ : Ast.node list nonterminal| N_nonempty_list_pp_base_clause_if_section_ : Ast.node list nonterminal| N_nonempty_list_odd_else_stmt_ : Ast.node list nonterminal| N_nonempty_list_objc_keyword_dtor_ : Ast.node list nonterminal| N_nonempty_list_objc_keyword_arg_ : Ast.node list nonterminal| N_nonempty_list_objc_instance_var_decl_ : Ast.node list nonterminal| N_nonempty_list_objc_catch_clause_ : Ast.node list nonterminal| N_nonempty_list_namespace_definition_ : Ast.node list nonterminal| N_nonempty_list_multiplicative_unit_ : Ast.node list nonterminal| N_nonempty_list_int_literal_ : Ast.node list nonterminal| N_nonempty_list_header_name_token_ : string list nonterminal| N_nonempty_list_gnu_asm_token_ : (token * Lexing.position * Lexing.position)
list
nonterminal| N_nonempty_list_error_token_ : Token.t list nonterminal| N_nonempty_list_designator_ : Ast.node list nonterminal| N_nonempty_list_char_literal_ : Ast.node list nonterminal| N_nonempty_list_additive_unit_ : Ast.node list nonterminal| N_nonempty_list__pp_lor_if_section_ : Ast.node list nonterminal| N_nonempty_list_RBRACE_ : unit list nonterminal| N_nonempty_list_QUEST_ : unit list nonterminal| N_noexcept_specifier : Ast.node nonterminal| N_noexcept_expression : Ast.node nonterminal| N_nodeclspec_function_definition : Ast.node nonterminal| N_new_type_id : Ast.node nonterminal| N_new_placement : Ast.node nonterminal| N_new_initializer : Ast.node nonterminal| N_new_expression : Ast.node nonterminal| N_new_declarator : Ast.node nonterminal| N_nested_requirement : Ast.node nonterminal| N_nested_namespace_definition_head : (Ast.node * Ast.node list * string)
nonterminal| N_nested_namespace_definition : Ast.node nonterminal| N_nested_name_specifier : Ast.node nonterminal| N_namespace_definition : Ast.node nonterminal| N_namespace_body : Ast.node list nonterminal| N_named_namespace_definition_head : (Ast.node list
* Ast.node list
* string
* Ast.node list)
nonterminal| N_named_namespace_definition : Ast.node nonterminal| N_multiplicative_expression : Ast.node nonterminal| N_ms_warn_spec_list : Ast.node list nonterminal| N_ms_warn_spec : Ast.node nonterminal| N_ms_attr : Ast.node nonterminal| N_module_import_declaration : Ast.node nonterminal| N_mock_qualifier : Ast.node nonterminal| N_mid_typaram : unit nonterminal| N_mid_templ_head : unit nonterminal| N_mid_templ_decl : unit nonterminal| N_mid_paren_open : unit nonterminal| N_mid_paren_close : unit nonterminal| N_mid_objc_cat_iface : unit nonterminal| N_mid_init : unit nonterminal| N_mid_brace_open : unit nonterminal| N_mid_brace_close : unit nonterminal| N_member_specification : Ast.node nonterminal| N_member_declarator_list : Ast.node list nonterminal| N_member_declarator : Ast.node nonterminal| N_member_declaration : Ast.node nonterminal| N_mem_initializer_list : Ast.node list nonterminal| N_mem_initializer_id : Ast.node nonterminal| N_mem_initializer : Ast.node nonterminal| N_mem_init_macro_call : Ast.node nonterminal| N_mem_decls_sub : Ast.node nonterminal| N_mem_decl_seq : Ast.node list nonterminal| N_mem_access_spec_head : Ast.node nonterminal| N_mem_access_spec : Ast.node nonterminal| N_main : Ast.node nonterminal| N_macro_fun_head : string nonterminal| N_macro_arg_list : Ast.node list nonterminal| N_macro_arg : Ast.node nonterminal| N_lor_unit_seq : Ast.node list nonterminal| N_lor_macro_call : Ast.node nonterminal| N_logical_or_expression : Ast.node nonterminal| N_logical_and_expression : Ast.node nonterminal| N_literal_operator_id : Ast.node nonterminal| N_literal_macro_call : Ast.node nonterminal| N_literal : Ast.node nonterminal| N_list_str__ : Ast.node list nonterminal| N_list_pp_templ_param_elif_group_ : Ast.node list nonterminal| N_list_pp_templ_arg_elif_group_ : Ast.node list nonterminal| N_list_pp_str_elif_group_ : Ast.node list nonterminal| N_list_pp_stmt_elif_group_closing_ : Ast.node list nonterminal| N_list_pp_stmt_elif_group_close_open_ : Ast.node list nonterminal| N_list_pp_stmt_elif_group_broken_ : Ast.node list nonterminal| N_list_pp_stmt_elif_group_ : Ast.node list nonterminal| N_list_pp_spec_elif_group_ : Ast.node list nonterminal| N_list_pp_param_elif_group_ : Ast.node list nonterminal| N_list_pp_p_elif_group_ : Ast.node list nonterminal| N_list_pp_old_param_decl_list_elif_group_ : Ast.node list nonterminal| N_list_pp_objc_protocol_ref_list_elif_group_ : Ast.node list nonterminal| N_list_pp_objc_proto_name_elif_group_ : Ast.node list nonterminal| N_list_pp_objc_ivar_decl_elif_group_ : Ast.node list nonterminal| N_list_pp_objc_idecl_elif_group_ : Ast.node list nonterminal| N_list_pp_objc_class_interface_head_elif_group_ : Ast.node list nonterminal| N_list_pp_objc_category_interface_head_elif_group_ : Ast.node list nonterminal| N_list_pp_minit_elif_group_broken_ : Ast.node list nonterminal| N_list_pp_minit_elif_group_ : Ast.node list nonterminal| N_list_pp_mdecl_elif_group_broken_ : Ast.node list nonterminal| N_list_pp_mdecl_elif_group_ : Ast.node list nonterminal| N_list_pp_lor_elif_group_ : Ast.node list nonterminal| N_list_pp_land_elif_group_ : Ast.node list nonterminal| N_list_pp_lambda_head_elif_group_broken_ : Ast.node list nonterminal| N_list_pp_ior_elif_group_ : Ast.node list nonterminal| N_list_pp_init_elif_group_closing_ : Ast.node list nonterminal| N_list_pp_init_elif_group_ : Ast.node list nonterminal| N_list_pp_ifstmt_elif_group_closing_ : Ast.node list nonterminal| N_list_pp_idtor_elif_group_ : Ast.node list nonterminal| N_list_pp_handler_elif_group_broken_ : Ast.node list nonterminal| N_list_pp_handler_elif_group_ : Ast.node list nonterminal| N_list_pp_gnu_asm_elif_group_ : Ast.node list nonterminal| N_list_pp_func_head_elif_group_broken_ : Ast.node list nonterminal| N_list_pp_func_body_elif_group_ : Ast.node list nonterminal| N_list_pp_expr_elif_group_broken2_ : Ast.node list nonterminal| N_list_pp_expr_elif_group_broken_ : Ast.node list nonterminal| N_list_pp_expr_elif_group_ : Ast.node list nonterminal| N_list_pp_enum_head_elif_group_ : Ast.node list nonterminal| N_list_pp_enum_elif_group_closing_ : Ast.node list nonterminal| N_list_pp_edef_elif_group_ : Ast.node list nonterminal| N_list_pp_dtor_elif_group_broken_ : Ast.node list nonterminal| N_list_pp_dtor_elif_group_ : Ast.node list nonterminal| N_list_pp_dinit_elif_group_ : Ast.node list nonterminal| N_list_pp_decl_spec_elif_group_ : Ast.node list nonterminal| N_list_pp_decl_elif_group_broken_ : Ast.node list nonterminal| N_list_pp_decl_elif_group_ : Ast.node list nonterminal| N_list_pp_ctor_init_elif_group_ : Ast.node list nonterminal| N_list_pp_control_line_ : Ast.node list nonterminal| N_list_pp_cond_tl_elif_group_ : Ast.node list nonterminal| N_list_pp_cond_hd_elif_group_ : Ast.node list nonterminal| N_list_pp_cond_elif_group_ : Ast.node list nonterminal| N_list_pp_class_head_elif_group_broken_ : Ast.node list nonterminal| N_list_pp_class_head_elif_group_ : Ast.node list nonterminal| N_list_pp_class_body_elif_group_ : Ast.node list nonterminal| N_list_pp_cc_elif_group_ : Ast.node list nonterminal| N_list_pp_capture_elif_group_ : Ast.node list nonterminal| N_list_pp_base_clause_elif_group_ : Ast.node list nonterminal| N_list_pp_attr_elif_group_ : Ast.node list nonterminal| N_list_pp_args_elif_group_closing_ : Ast.node list nonterminal| N_list_pp_args_elif_group_close_open_ : Ast.node list nonterminal| N_list_pp_aexpr_elif_group_closing_ : Ast.node list nonterminal| N_list_pp_aexpr_elif_group_ : Ast.node list nonterminal| N_list_pp_a_elif_group_ : Ast.node list nonterminal| N_list_gnu_asm_token_ : (token * Lexing.position * Lexing.position) list
nonterminal| N_list_asm_token_ : Token.t list nonterminal| N_list__pp_lor_elif_group_ : Ast.node list nonterminal| N_list__pp_land_elif_group_ : Ast.node list nonterminal| N_list__pp_ior_elif_group_ : Ast.node list nonterminal| N_list__pp_func_head_elif_group_ : Ast.node list nonterminal| N_list__pp_eor_elif_group_ : Ast.node list nonterminal| N_list_INT_LITERAL_ : string list nonterminal| N_linkage_specification : Ast.node nonterminal| N_land_unit_seq : Ast.node list nonterminal| N_lambda_introducer : Ast.node nonterminal| N_lambda_expression : Ast.node nonterminal| N_lambda_declarator : Ast.node nonterminal| N_lambda_capture : Ast.node nonterminal| N_labeled_statement : Ast.node nonterminal| N_label_seq : Ast.node list nonterminal| N_label : Ast.node nonterminal| N_jump_statement : Ast.node nonterminal| N_iteration_statement : Ast.node nonterminal| N_iteration_macro : Ast.node nonterminal| N_ior_unit_seq : Ast.node list nonterminal| N_initializer_list : Ast.node list nonterminal| N_initializer_clause : Ast.node nonterminal| N_initializer_ : Ast.node nonterminal| N_init_sub : Ast.node nonterminal| N_init_statement : Ast.node nonterminal| N_init_head_macro : Ast.node nonterminal| N_init_end_macro : Ast.node nonterminal| N_init_declarator_list : Ast.node list nonterminal| N_init_declarator : Ast.node nonterminal| N_init_capture : Ast.node nonterminal| N_inclusive_or_expression : Ast.node nonterminal| N_identifier_list : Ast.node list nonterminal| N_id_macro_call : Ast.node nonterminal| N_id_expression : Ast.node nonterminal| N_header_name_token : string nonterminal| N_has_include_expression : Ast.node nonterminal| N_has_attribute_expression : Ast.node nonterminal| N_handler_seq : Ast.node list nonterminal| N_handler : Ast.node nonterminal| N_gnu_attribute_seq : Ast.node list nonterminal| N_gnu_attribute : Ast.node nonterminal| N_gnu_asm_token : (token * Lexing.position * Lexing.position) nonterminal| N_gnu_asm_frag_seq : Ast.node list nonterminal| N_gnu_asm_attr : Ast.node nonterminal| N_function_try_block : Ast.node nonterminal| N_function_specifier : Ast.node nonterminal| N_function_definition : Ast.node nonterminal| N_function_body : Ast.node nonterminal| N_for_range_initializer : Ast.node nonterminal| N_for_range_declaration : Ast.node nonterminal| N_fold_operator : Ast.node nonterminal| N_fold_expression : Ast.node nonterminal| N_extra_keyword : Token.t nonterminal| N_expression_list_opt : Ast.node list option nonterminal| N_expression_list : Ast.node list nonterminal| N_expression : Ast.node nonterminal| N_expr_sub : Ast.node nonterminal| N_expr_or_braced_init_list : Ast.node nonterminal| N_expr_macro_call : Ast.node nonterminal| N_export_declaration : Ast.node nonterminal| N_explicit_specifier : Ast.node nonterminal| N_explicit_specialization : Ast.node nonterminal| N_explicit_instantiation : Ast.node nonterminal| N_exclusive_or_expression : Ast.node nonterminal| N_exception_declaration : Ast.node nonterminal| N_etors_sub : Ast.node nonterminal| N_error_token_seq : Token.t list nonterminal| N_error_token : Token.t nonterminal| N_equality_expression : Ast.node nonterminal| N_enumerator_list : Ast.node list nonterminal| N_enumerator_definition : Ast.node nonterminal| N_enumerator : Ast.node nonterminal| N_enum_specifier : Ast.node nonterminal| N_enum_key : Label.EnumKey.t nonterminal| N_enum_head : Ast.node nonterminal| N_enum_base : Ast.node nonterminal| N_enclosing_namespace_specifier : Ast.node nonterminal| N_empty_declaration : Ast.node nonterminal| N_elaborated_type_specifier : Ast.node nonterminal| N_dtors_sub : Ast.node nonterminal| N_dsl_macro_args : Ast.node nonterminal| N_dsl_macro : Ast.node nonterminal| N_designator : Ast.node nonterminal| N_designated_initializer_clause : Ast.node nonterminal| N_delim_macro_call : Ast.node nonterminal| N_delim_macro : Ast.node nonterminal| N_delim : Ast.node nonterminal| N_delete_expression : Ast.node nonterminal| N_defining_type_specifier_seq : Ast.node list nonterminal| N_defining_type_specifier : Ast.node nonterminal| N_defining_type_id : Ast.node nonterminal| N_defined_macro_expression : Ast.node nonterminal| N_deduction_guide : Ast.node nonterminal| N_decltype_specifier : Ast.node nonterminal| N_decls_sub : Ast.node nonterminal| N_declarator_id : Ast.node nonterminal| N_declarator : Ast.node nonterminal| N_declaration_seq : Ast.node list nonterminal| N_declaration : Ast.node nonterminal| N_decl_specifier_seq : Ast.node list nonterminal| N_decl_specifier : Ast.node nonterminal| N_decl_spec_macro_call : Ast.node nonterminal| N_decl_spec_macro : Ast.node nonterminal| N_decl_macro_call_ : Ast.node nonterminal| N_decl_OR_stmt_macro_call : Ast.node nonterminal| N_decl_OR_expr : Ast.node nonterminal| N_cv_qualifier_seq : Ast.node list nonterminal| N_cv_qualifier : Ast.node nonterminal| N_cuda_exec_config : Ast.node nonterminal| N_ctor_initializer : Ast.node nonterminal| N_conversion_type_id : Ast.node nonterminal| N_conversion_function_id : Ast.node nonterminal| N_conversion_declarator : Ast.node nonterminal| N_contract_level_opt : Ast.node option nonterminal| N_contract_level : Ast.node nonterminal| N_contract_attribute_specifier : Ast.node nonterminal| N_constraint_logical_or_expression : Ast.node nonterminal| N_constraint_logical_and_expression : Ast.node nonterminal| N_constraint_expression : Ast.node nonterminal| N_constant_expression : Ast.node nonterminal| N_conditional_expression : Ast.node nonterminal| N_condition : Ast.node nonterminal| N_cond_unit_seq : Ast.node nonterminal| N_concept_definition : Ast.node nonterminal| N_compound_statement : Ast.node nonterminal| N_compound_requirement : Ast.node nonterminal| N_compare_expression : Ast.node nonterminal| N_class_virt_specifier : Ast.node nonterminal| N_class_specifier : Ast.node nonterminal| N_class_or_decltype : Ast.node nonterminal| N_class_name : Ast.node nonterminal| N_class_key : Label.ClassKey.t nonterminal| N_class_head_name : Ast.node nonterminal| N_class_head : Ast.node nonterminal| N_class_body_head_macro : Ast.node nonterminal| N_class_body_end_macro : Ast.node nonterminal| N_char_literal : Ast.node nonterminal| N_cast_key : Label.t nonterminal| N_cast_expression : Ast.node nonterminal| N_capture_macro_call : Ast.node nonterminal| N_capture_list : Ast.node list nonterminal| N_capture_default : Ast.node nonterminal| N_capture : Ast.node nonterminal| N_braced_init_list : Ast.node nonterminal| N_brace_or_equal_initializer : Ast.node nonterminal| N_block_literal_expression : Ast.node nonterminal| N_block_head_macro : Ast.node nonterminal| N_block_end_macro : Ast.node nonterminal| N_block_declaration : Ast.node nonterminal| N_bit_field_macro_call : Ast.node nonterminal| N_base_specifier_list : Ast.node list nonterminal| N_base_specifier : Ast.node nonterminal| N_base_clause : Ast.node nonterminal| N_balanced_token_seq_opt : Ast.node list option nonterminal| N_balanced_token_seq : Ast.node list nonterminal| N_balanced_token : Ast.node nonterminal| N_await_expression : Ast.node nonterminal| N_attribute_using_prefix : Ast.node nonterminal| N_attribute_token : Ast.node nonterminal| N_attribute_specifier_seq : Ast.node list nonterminal| N_attribute_specifier : Ast.node nonterminal| N_attribute_scoped_token : Ast.node nonterminal| N_attribute_namespace_seq : Ast.node list nonterminal| N_attribute_list : Ast.node list nonterminal| N_attribute_declaration : Ast.node nonterminal| N_attribute_argument_clause_opt : Ast.node option nonterminal| N_attribute_argument_clause : Ast.node nonterminal| N_attribute : Ast.node nonterminal| N_attr_macro_call : Ast.node nonterminal| N_assignment_operator : Label.t nonterminal| N_assignment_expression : Ast.node nonterminal| N_asm_token : Token.t nonterminal| N_asm_block : Ast.node nonterminal| N_and_expression : Ast.node nonterminal| N_alignment_specifier : Ast.node nonterminal| N_alias_declaration : Ast.node nonterminal| N_additive_expression : Ast.node nonterminal| N_access_specifier : Ast.node nonterminal| N_acc_annot : Ast.node nonterminal| N_abstract_pack_declarator : Ast.node nonterminal| N_abstract_declarator : Ast.node nonterminal| N__using_enum_declaration : Ast.node nonterminal| N__using_directive : Ast.node nonterminal| N__using_declaration : Ast.node nonterminal| N__type_specifier_seq : Ast.node list nonterminal| N__static_assert_declaration : Ast.node nonterminal| N__statement_seq : Ast.node list nonterminal| N__simple_declaration : Ast.node nonterminal| N__pp_param_list : string list nonterminal| N__pp_lor_if_section : Ast.node nonterminal| N__pp_lor_if_group : Ast.node nonterminal| N__pp_lor_else_group : Ast.node nonterminal| N__pp_lor_elif_group : Ast.node nonterminal| N__pp_land_if_section : Ast.node nonterminal| N__pp_land_if_group : Ast.node nonterminal| N__pp_land_else_group : Ast.node nonterminal| N__pp_land_elif_group : Ast.node nonterminal| N__pp_ior_if_section : Ast.node nonterminal| N__pp_ior_if_group : Ast.node nonterminal| N__pp_ior_else_group : Ast.node nonterminal| N__pp_ior_elif_group : Ast.node nonterminal| N__pp_idtor_if_section : Ast.node nonterminal| N__pp_func_head_if_section : Ast.node nonterminal| N__pp_func_head_if_group : Ast.node nonterminal| N__pp_func_head_else_group : Ast.node nonterminal| N__pp_func_head_elif_group : Ast.node nonterminal| N__pp_eor_if_section : Ast.node nonterminal| N__pp_eor_if_group : Ast.node nonterminal| N__pp_eor_else_group : Ast.node nonterminal| N__pp_eor_elif_group : Ast.node nonterminal| N__pp_dinit_if_section_list : Ast.node list nonterminal| N__pp_define : Ast.node nonterminal| N__pp_control_line : Ast.node nonterminal| N__opaque_enum_declaration : Ast.node nonterminal| N__odd_stmt : Ast.node nonterminal| N__namespace_alias_definition : Ast.node nonterminal| N__lambda_expression : Ast.node nonterminal| N__initializer_list : Ast.node list nonterminal| N__init_statement : Ast.node nonterminal| N__designated_initializer_list : Ast.node list nonterminal| N__block_declaration : Ast.node nonterminal| N__asm_declaration : Ast.node nonterminal| N__alias_declaration : Ast.node nonterminal| N___initializer_list : Ast.node list nonterminalinclude MenhirLib.IncrementalEngine.INSPECTION
with type 'a lr1state := 'a lr1state
with type production := production
with type 'a terminal := 'a terminal
with type 'a nonterminal := 'a nonterminal
with type 'a env := 'a envinclude MenhirLib.IncrementalEngine.SYMBOLS
with type 'a terminal := 'a terminal
with type 'a nonterminal := 'a nonterminaltype item = production * intval compare_nonterminals : _ nonterminal -> _ nonterminal -> intval compare_productions : production -> production -> intval lhs : production -> xsymbolval rhs : production -> xsymbol listval nullable : _ nonterminal -> boolval first : _ nonterminal -> _ terminal -> boolval foreach_terminal : (xsymbol -> 'a -> 'a) -> 'a -> 'aval foreach_terminal_but_error : (xsymbol -> 'a -> 'a) -> 'a -> 'aval feed :
'a symbol ->
MenhirLib.IncrementalEngine.position ->
'a ->
MenhirLib.IncrementalEngine.position ->
'b env ->
'b env