jon.recoil.org

Module Parser.MenhirInterpreter

include MenhirLib.IncrementalEngine.INCREMENTAL_ENGINE with type token = Parser.token
type token = Parser.token
type production
type 'a env
type 'a checkpoint = private
  1. | InputNeeded of 'a Parser.MenhirInterpreter.env
  2. | Shifting of 'a Parser.MenhirInterpreter.env * 'a Parser.MenhirInterpreter.env * bool
  3. | AboutToReduce of 'a Parser.MenhirInterpreter.env * Parser.MenhirInterpreter.production
  4. | HandlingError of 'a Parser.MenhirInterpreter.env
  5. | Accepted of 'a
  6. | Rejected
type strategy = [
  1. | `Legacy
  2. | `Simplified
]
val loop_handle : ('a -> 'answer) -> ('a Parser.MenhirInterpreter.checkpoint -> 'answer) -> Parser.MenhirInterpreter.supplier -> 'a Parser.MenhirInterpreter.checkpoint -> 'answer
type 'a lr1state
val number : _ Parser.MenhirInterpreter.lr1state -> int
val production_index : Parser.MenhirInterpreter.production -> int
val find_production : int -> Parser.MenhirInterpreter.production
val pop_many : int -> 'a Parser.MenhirInterpreter.env -> 'a Parser.MenhirInterpreter.env option
val current_state_number : 'a Parser.MenhirInterpreter.env -> int
val env_has_default_reduction : 'a Parser.MenhirInterpreter.env -> bool
val state_has_default_reduction : _ Parser.MenhirInterpreter.lr1state -> bool
type _ terminal =
  1. | T_error : unit Parser.MenhirInterpreter.terminal
  2. | T_WITH : unit Parser.MenhirInterpreter.terminal
  3. | T_WHILE : unit Parser.MenhirInterpreter.terminal
  4. | T_WHEN : unit Parser.MenhirInterpreter.terminal
  5. | T_VIRTUAL : unit Parser.MenhirInterpreter.terminal
  6. | T_VAL : unit Parser.MenhirInterpreter.terminal
  7. | T_UNIQUE : unit Parser.MenhirInterpreter.terminal
  8. | T_UNDERSCORE : unit Parser.MenhirInterpreter.terminal
  9. | T_UIDENT : string Parser.MenhirInterpreter.terminal
  10. | T_TYPE : unit Parser.MenhirInterpreter.terminal
  11. | T_TRY : unit Parser.MenhirInterpreter.terminal
  12. | T_TRUE : unit Parser.MenhirInterpreter.terminal
  13. | T_TO : unit Parser.MenhirInterpreter.terminal
  14. | T_TILDE : unit Parser.MenhirInterpreter.terminal
  15. | T_THEN : unit Parser.MenhirInterpreter.terminal
  16. | T_STRUCT : unit Parser.MenhirInterpreter.terminal
  17. | T_STRING : (string * Location.t * string option) Parser.MenhirInterpreter.terminal
  18. | T_STAR : unit Parser.MenhirInterpreter.terminal
  19. | T_STACK : unit Parser.MenhirInterpreter.terminal
  20. | T_SIG : unit Parser.MenhirInterpreter.terminal
  21. | T_SEMISEMI : unit Parser.MenhirInterpreter.terminal
  22. | T_SEMI : unit Parser.MenhirInterpreter.terminal
  23. | T_RPAREN : unit Parser.MenhirInterpreter.terminal
  24. | T_REC : unit Parser.MenhirInterpreter.terminal
  25. | T_RBRACKETGREATER : unit Parser.MenhirInterpreter.terminal
  26. | T_RBRACKET : unit Parser.MenhirInterpreter.terminal
  27. | T_RBRACE : unit Parser.MenhirInterpreter.terminal
  28. | T_QUOTED_STRING_ITEM : (string * Location.t * string * Location.t * string option) Parser.MenhirInterpreter.terminal
  29. | T_QUOTED_STRING_EXPR : (string * Location.t * string * Location.t * string option) Parser.MenhirInterpreter.terminal
  30. | T_QUOTE : unit Parser.MenhirInterpreter.terminal
  31. | T_QUESTION : unit Parser.MenhirInterpreter.terminal
  32. | T_PRIVATE : unit Parser.MenhirInterpreter.terminal
  33. | T_PREFIXOP : string Parser.MenhirInterpreter.terminal
  34. | T_PLUSEQ : unit Parser.MenhirInterpreter.terminal
  35. | T_PLUSDOT : unit Parser.MenhirInterpreter.terminal
  36. | T_PLUS : unit Parser.MenhirInterpreter.terminal
  37. | T_PERCENT : unit Parser.MenhirInterpreter.terminal
  38. | T_OVERWRITE : unit Parser.MenhirInterpreter.terminal
  39. | T_OR : unit Parser.MenhirInterpreter.terminal
  40. | T_OPTLABEL : string Parser.MenhirInterpreter.terminal
  41. | T_OPEN : unit Parser.MenhirInterpreter.terminal
  42. | T_ONCE : unit Parser.MenhirInterpreter.terminal
  43. | T_OF : unit Parser.MenhirInterpreter.terminal
  44. | T_OBJECT : unit Parser.MenhirInterpreter.terminal
  45. | T_NONREC : unit Parser.MenhirInterpreter.terminal
  46. | T_NEW : unit Parser.MenhirInterpreter.terminal
  47. | T_MUTABLE : unit Parser.MenhirInterpreter.terminal
  48. | T_MODULE : unit Parser.MenhirInterpreter.terminal
  49. | T_MOD : unit Parser.MenhirInterpreter.terminal
  50. | T_MINUSGREATER : unit Parser.MenhirInterpreter.terminal
  51. | T_MINUSDOT : unit Parser.MenhirInterpreter.terminal
  52. | T_MINUS : unit Parser.MenhirInterpreter.terminal
  53. | T_METHOD : unit Parser.MenhirInterpreter.terminal
  54. | T_MATCH : unit Parser.MenhirInterpreter.terminal
  55. | T_LPAREN : unit Parser.MenhirInterpreter.terminal
  56. | T_LOCAL : unit Parser.MenhirInterpreter.terminal
  57. | T_LIDENT : string Parser.MenhirInterpreter.terminal
  58. | T_LETOP : string Parser.MenhirInterpreter.terminal
  59. | T_LET : unit Parser.MenhirInterpreter.terminal
  60. | T_LESSMINUS : unit Parser.MenhirInterpreter.terminal
  61. | T_LESSLBRACKET : unit Parser.MenhirInterpreter.terminal
  62. | T_LESS : unit Parser.MenhirInterpreter.terminal
  63. | T_LBRACKETPERCENTPERCENT : unit Parser.MenhirInterpreter.terminal
  64. | T_LBRACKETPERCENT : unit Parser.MenhirInterpreter.terminal
  65. | T_LBRACKETLESS : unit Parser.MenhirInterpreter.terminal
  66. | T_LBRACKETGREATER : unit Parser.MenhirInterpreter.terminal
  67. | T_LBRACKETCOLON : unit Parser.MenhirInterpreter.terminal
  68. | T_LBRACKETBAR : unit Parser.MenhirInterpreter.terminal
  69. | T_LBRACKETATATAT : unit Parser.MenhirInterpreter.terminal
  70. | T_LBRACKETATAT : unit Parser.MenhirInterpreter.terminal
  71. | T_LBRACKETAT : unit Parser.MenhirInterpreter.terminal
  72. | T_LBRACKET : unit Parser.MenhirInterpreter.terminal
  73. | T_LBRACELESS : unit Parser.MenhirInterpreter.terminal
  74. | T_LBRACE : unit Parser.MenhirInterpreter.terminal
  75. | T_LAZY : unit Parser.MenhirInterpreter.terminal
  76. | T_LABEL : string Parser.MenhirInterpreter.terminal
  77. | T_KIND_OF : unit Parser.MenhirInterpreter.terminal
  78. | T_KIND_ABBREV : unit Parser.MenhirInterpreter.terminal
  79. | T_INT : (string * char option) Parser.MenhirInterpreter.terminal
  80. | T_INITIALIZER : unit Parser.MenhirInterpreter.terminal
  81. | T_INHERIT : unit Parser.MenhirInterpreter.terminal
  82. | T_INFIXOP4 : string Parser.MenhirInterpreter.terminal
  83. | T_INFIXOP3 : string Parser.MenhirInterpreter.terminal
  84. | T_INFIXOP2 : string Parser.MenhirInterpreter.terminal
  85. | T_INFIXOP1 : string Parser.MenhirInterpreter.terminal
  86. | T_INFIXOP0 : string Parser.MenhirInterpreter.terminal
  87. | T_INCLUDE : unit Parser.MenhirInterpreter.terminal
  88. | T_IN : unit Parser.MenhirInterpreter.terminal
  89. | T_IF : unit Parser.MenhirInterpreter.terminal
  90. | T_HASH_SUFFIX : unit Parser.MenhirInterpreter.terminal
  91. | T_HASH_INT : (string * char option) Parser.MenhirInterpreter.terminal
  92. | T_HASH_FLOAT : (string * char option) Parser.MenhirInterpreter.terminal
  93. | T_HASH_CHAR : char Parser.MenhirInterpreter.terminal
  94. | T_HASHOP : string Parser.MenhirInterpreter.terminal
  95. | T_HASHLPAREN : unit Parser.MenhirInterpreter.terminal
  96. | T_HASHLBRACE : unit Parser.MenhirInterpreter.terminal
  97. | T_HASH : unit Parser.MenhirInterpreter.terminal
  98. | T_GREATERRBRACKET : unit Parser.MenhirInterpreter.terminal
  99. | T_GREATERRBRACE : unit Parser.MenhirInterpreter.terminal
  100. | T_GREATER : unit Parser.MenhirInterpreter.terminal
  101. | T_GLOBAL : unit Parser.MenhirInterpreter.terminal
  102. | T_FUNCTOR : unit Parser.MenhirInterpreter.terminal
  103. | T_FUNCTION : unit Parser.MenhirInterpreter.terminal
  104. | T_FUN : unit Parser.MenhirInterpreter.terminal
  105. | T_FOR : unit Parser.MenhirInterpreter.terminal
  106. | T_FLOAT : (string * char option) Parser.MenhirInterpreter.terminal
  107. | T_FALSE : unit Parser.MenhirInterpreter.terminal
  108. | T_EXTERNAL : unit Parser.MenhirInterpreter.terminal
  109. | T_EXCLAVE : unit Parser.MenhirInterpreter.terminal
  110. | T_EXCEPTION : unit Parser.MenhirInterpreter.terminal
  111. | T_EQUAL : unit Parser.MenhirInterpreter.terminal
  112. | T_EOL : unit Parser.MenhirInterpreter.terminal
  113. | T_EOF : unit Parser.MenhirInterpreter.terminal
  114. | T_END : unit Parser.MenhirInterpreter.terminal
  115. | T_ELSE : unit Parser.MenhirInterpreter.terminal
  116. | T_DOWNTO : unit Parser.MenhirInterpreter.terminal
  117. | T_DOTOP : string Parser.MenhirInterpreter.terminal
  118. | T_DOTHASH : unit Parser.MenhirInterpreter.terminal
  119. | T_DOTDOT : unit Parser.MenhirInterpreter.terminal
  120. | T_DOT : unit Parser.MenhirInterpreter.terminal
  121. | T_DONE : unit Parser.MenhirInterpreter.terminal
  122. | T_DOLLAR : unit Parser.MenhirInterpreter.terminal
  123. | T_DOCSTRING : Docstrings.docstring Parser.MenhirInterpreter.terminal
  124. | T_DO : unit Parser.MenhirInterpreter.terminal
  125. | T_CONSTRAINT : unit Parser.MenhirInterpreter.terminal
  126. | T_COMMENT : (string * Location.t) Parser.MenhirInterpreter.terminal
  127. | T_COMMA : unit Parser.MenhirInterpreter.terminal
  128. | T_COLONRBRACKET : unit Parser.MenhirInterpreter.terminal
  129. | T_COLONGREATER : unit Parser.MenhirInterpreter.terminal
  130. | T_COLONEQUAL : unit Parser.MenhirInterpreter.terminal
  131. | T_COLONCOLON : unit Parser.MenhirInterpreter.terminal
  132. | T_COLON : unit Parser.MenhirInterpreter.terminal
  133. | T_CLASS : unit Parser.MenhirInterpreter.terminal
  134. | T_CHAR : char Parser.MenhirInterpreter.terminal
  135. | T_BEGIN : unit Parser.MenhirInterpreter.terminal
  136. | T_BARRBRACKET : unit Parser.MenhirInterpreter.terminal
  137. | T_BARBAR : unit Parser.MenhirInterpreter.terminal
  138. | T_BAR : unit Parser.MenhirInterpreter.terminal
  139. | T_BANG : unit Parser.MenhirInterpreter.terminal
  140. | T_BACKQUOTE : unit Parser.MenhirInterpreter.terminal
  141. | T_ATAT : unit Parser.MenhirInterpreter.terminal
  142. | T_AT : unit Parser.MenhirInterpreter.terminal
  143. | T_ASSERT : unit Parser.MenhirInterpreter.terminal
  144. | T_AS : unit Parser.MenhirInterpreter.terminal
  145. | T_ANDOP : string Parser.MenhirInterpreter.terminal
  146. | T_AND : unit Parser.MenhirInterpreter.terminal
  147. | T_AMPERSAND : unit Parser.MenhirInterpreter.terminal
  148. | T_AMPERAMPER : unit Parser.MenhirInterpreter.terminal
type _ nonterminal =
  1. | N_with_type_binder : Asttypes.private_flag Parser.MenhirInterpreter.nonterminal
  2. | N_with_constraint : Parsetree.with_constraint Parser.MenhirInterpreter.nonterminal
  3. | N_virtual_with_private_flag : Asttypes.private_flag Parser.MenhirInterpreter.nonterminal
  4. | N_virtual_with_mutable_flag : Asttypes.mutable_flag Parser.MenhirInterpreter.nonterminal
  5. | N_virtual_flag : Asttypes.virtual_flag Parser.MenhirInterpreter.nonterminal
  6. | N_value_description : (Parsetree.value_description * string Location.loc option) Parser.MenhirInterpreter.nonterminal
  7. | N_value_constant : Parsetree.constant Parser.MenhirInterpreter.nonterminal
  8. | N_value : ((string Location.loc * Asttypes.mutable_flag * Parsetree.class_field_kind) * Parsetree.attributes) Parser.MenhirInterpreter.nonterminal
  9. | N_val_longident : Longident.t Parser.MenhirInterpreter.nonterminal
  10. | N_val_ident : string Parser.MenhirInterpreter.nonterminal
  11. | N_val_extra_ident : string Parser.MenhirInterpreter.nonterminal
  12. | N_use_file : Parsetree.toplevel_phrase list Parser.MenhirInterpreter.nonterminal
  13. | N_unboxed_constant : Parsetree.constant Parser.MenhirInterpreter.nonterminal
  14. | N_unboxed_access : Parsetree.unboxed_access Parser.MenhirInterpreter.nonterminal
  15. | N_type_variance : (Asttypes.variance * Asttypes.injectivity) Parser.MenhirInterpreter.nonterminal
  16. | N_type_unboxed_longident : Longident.t Parser.MenhirInterpreter.nonterminal
  17. | N_type_trailing_no_hash : string Parser.MenhirInterpreter.nonterminal
  18. | N_type_trailing_hash : string Parser.MenhirInterpreter.nonterminal
  19. | N_type_parameters : (Parsetree.core_type * (Asttypes.variance * Asttypes.injectivity)) list Parser.MenhirInterpreter.nonterminal
  20. | N_type_parameter : (Parsetree.core_type * (Asttypes.variance * Asttypes.injectivity)) Parser.MenhirInterpreter.nonterminal
  21. | N_type_longident : Longident.t Parser.MenhirInterpreter.nonterminal
  22. | N_type_kind : (Parsetree.type_kind * Asttypes.private_flag * Parsetree.core_type option) Parser.MenhirInterpreter.nonterminal
  23. | N_type_constraint : Parsetree.type_constraint Parser.MenhirInterpreter.nonterminal
  24. | N_tuple_type : Parsetree.core_type Parser.MenhirInterpreter.nonterminal
  25. | N_toplevel_phrase : Parsetree.toplevel_phrase Parser.MenhirInterpreter.nonterminal
  26. | N_toplevel_directive : Parsetree.toplevel_phrase Parser.MenhirInterpreter.nonterminal
  27. | N_tag_field : Parsetree.row_field Parser.MenhirInterpreter.nonterminal
  28. | N_subtractive : string Parser.MenhirInterpreter.nonterminal
  29. | N_structure_item : Parsetree.structure_item Parser.MenhirInterpreter.nonterminal
  30. | N_structure : Parsetree.structure Parser.MenhirInterpreter.nonterminal
  31. | N_strict_function_or_labeled_tuple_type : Parsetree.core_type Parser.MenhirInterpreter.nonterminal
  32. | N_strict_binding_modes : (Parsetree.modes -> Parsetree.expression) Parser.MenhirInterpreter.nonterminal
  33. | N_str_exception_declaration : (Parsetree.type_exception * string Location.loc option) Parser.MenhirInterpreter.nonterminal
  34. | N_spliceable_type : Parsetree.core_type Parser.MenhirInterpreter.nonterminal
  35. | N_spliceable_expr : Parsetree.expression Parser.MenhirInterpreter.nonterminal
  36. | N_single_attr_id : string Parser.MenhirInterpreter.nonterminal
  37. | N_simple_pattern_not_ident : Parsetree.pattern Parser.MenhirInterpreter.nonterminal
  38. | N_simple_pattern_extend_modes_or_poly : Parsetree.pattern Parser.MenhirInterpreter.nonterminal
  39. | N_simple_pattern : Parsetree.pattern Parser.MenhirInterpreter.nonterminal
  40. | N_simple_expr : Parsetree.expression Parser.MenhirInterpreter.nonterminal
  41. | N_simple_delimited_pattern : Parsetree.pattern Parser.MenhirInterpreter.nonterminal
  42. | N_signed_value_constant : Parsetree.constant Parser.MenhirInterpreter.nonterminal
  43. | N_signed_constant : Parsetree.constant Parser.MenhirInterpreter.nonterminal
  44. | N_signature_item : Parsetree.signature_item Parser.MenhirInterpreter.nonterminal
  45. | N_signature : Parsetree.signature Parser.MenhirInterpreter.nonterminal
  46. | N_sig_exception_declaration : (Parsetree.type_exception * string Location.loc option) Parser.MenhirInterpreter.nonterminal
  47. | N_seq_expr : Parsetree.expression Parser.MenhirInterpreter.nonterminal
  48. | N_separated_or_terminated_nonempty_list_SEMI_record_expr_field_ : (Longident.t Location.loc * Parsetree.expression) list Parser.MenhirInterpreter.nonterminal
  49. | N_separated_or_terminated_nonempty_list_SEMI_pattern_ : Parsetree.pattern list Parser.MenhirInterpreter.nonterminal
  50. | N_separated_or_terminated_nonempty_list_SEMI_object_expr_field_ : (string Location.loc * Parsetree.expression) list Parser.MenhirInterpreter.nonterminal
  51. | N_separated_or_terminated_nonempty_list_SEMI_expr_ : Parsetree.expression list Parser.MenhirInterpreter.nonterminal
  52. | N_row_field : Parsetree.row_field Parser.MenhirInterpreter.nonterminal
  53. | N_reversed_separated_nontrivial_llist_COMMA_one_type_parameter_of_several_ : Parsetree.core_type list Parser.MenhirInterpreter.nonterminal
  54. | N_reversed_separated_nonempty_llist_STAR_labeled_tuple_typ_element_ : (string option * Parsetree.core_type) list Parser.MenhirInterpreter.nonterminal
  55. | N_reversed_separated_nonempty_llist_STAR_constructor_argument_ : Parsetree.constructor_argument list Parser.MenhirInterpreter.nonterminal
  56. | N_reversed_separated_nonempty_llist_COMMA_type_parameter_ : (Parsetree.core_type * (Asttypes.variance * Asttypes.injectivity)) list Parser.MenhirInterpreter.nonterminal
  57. | N_reversed_separated_nonempty_llist_COMMA_parenthesized_type_parameter_ : (Parsetree.core_type * (Asttypes.variance * Asttypes.injectivity)) list Parser.MenhirInterpreter.nonterminal
  58. | N_reversed_separated_nonempty_llist_COMMA_core_type_ : Parsetree.core_type list Parser.MenhirInterpreter.nonterminal
  59. | N_reversed_separated_nonempty_llist_BAR_row_field_ : Parsetree.row_field list Parser.MenhirInterpreter.nonterminal
  60. | N_reversed_separated_nonempty_llist_AND_with_constraint_ : Parsetree.with_constraint list Parser.MenhirInterpreter.nonterminal
  61. | N_reversed_separated_nonempty_llist_AND_comprehension_clause_binding_ : Parsetree.comprehension_clause_binding list Parser.MenhirInterpreter.nonterminal
  62. | N_reversed_separated_nonempty_llist_AMPERSAND_core_type_no_attr_ : Parsetree.core_type list Parser.MenhirInterpreter.nonterminal
  63. | N_reversed_preceded_or_separated_nonempty_llist_BAR_match_case_ : Parsetree.case list Parser.MenhirInterpreter.nonterminal
  64. | N_reversed_nonempty_llist_typevar_ : (string Location.loc * Parsetree.jkind_annotation option) list Parser.MenhirInterpreter.nonterminal
  65. | N_reversed_nonempty_llist_name_tag_ : string list Parser.MenhirInterpreter.nonterminal
  66. | N_reversed_nonempty_llist_labeled_simple_expr_ : (Asttypes.arg_label * Parsetree.expression) list Parser.MenhirInterpreter.nonterminal
  67. | N_reversed_nonempty_llist_functor_arg_ : (lexing_position * Parsetree.functor_parameter) list Parser.MenhirInterpreter.nonterminal
  68. | N_reversed_nonempty_llist_comprehension_clause_ : Parsetree.comprehension_clause list Parser.MenhirInterpreter.nonterminal
  69. | N_reversed_nonempty_concat_fun_param_as_list_ : Parsetree.function_param list Parser.MenhirInterpreter.nonterminal
  70. | N_reversed_llist_unboxed_access_ : Parsetree.unboxed_access list Parser.MenhirInterpreter.nonterminal
  71. | N_reversed_llist_preceded_CONSTRAINT_constrain__ : (Parsetree.core_type * Parsetree.core_type * Warnings.loc) list Parser.MenhirInterpreter.nonterminal
  72. | N_reversed_labeled_tuple_pattern_pattern_no_exn_ : (Asttypes.closed_flag * (string option * Parsetree.pattern) list) Parser.MenhirInterpreter.nonterminal
  73. | N_reversed_labeled_tuple_pattern_pattern_ : (Asttypes.closed_flag * (string option * Parsetree.pattern) list) Parser.MenhirInterpreter.nonterminal
  74. | N_reversed_labeled_tuple_body : (string option * Parsetree.expression) list Parser.MenhirInterpreter.nonterminal
  75. | N_reversed_bar_llist_extension_constructor_declaration_ : Parsetree.extension_constructor list Parser.MenhirInterpreter.nonterminal
  76. | N_reversed_bar_llist_extension_constructor_ : Parsetree.extension_constructor list Parser.MenhirInterpreter.nonterminal
  77. | N_reversed_bar_llist_constructor_declaration_ : Parsetree.constructor_declaration list Parser.MenhirInterpreter.nonterminal
  78. | N_reverse_product_jkind : Parsetree.jkind_annotation list Parser.MenhirInterpreter.nonterminal
  79. | N_record_expr_content : (Parsetree.expression option * (Longident.t Location.loc * Parsetree.expression) list) Parser.MenhirInterpreter.nonterminal
  80. | N_rec_flag : Asttypes.rec_flag Parser.MenhirInterpreter.nonterminal
  81. | N_private_virtual_flags : (Asttypes.private_flag * Asttypes.virtual_flag) Parser.MenhirInterpreter.nonterminal
  82. | N_private_flag : Asttypes.private_flag Parser.MenhirInterpreter.nonterminal
  83. | N_primitive_declaration : (Parsetree.value_description * string Location.loc option) Parser.MenhirInterpreter.nonterminal
  84. | N_post_item_attribute : Parsetree.attribute Parser.MenhirInterpreter.nonterminal
  85. | N_possibly_poly_core_type_no_attr_ : Parsetree.core_type Parser.MenhirInterpreter.nonterminal
  86. | N_possibly_poly_core_type_ : Parsetree.core_type Parser.MenhirInterpreter.nonterminal
  87. | N_payload : Parsetree.payload Parser.MenhirInterpreter.nonterminal
  88. | N_pattern_with_modes_or_poly : Parsetree.pattern Parser.MenhirInterpreter.nonterminal
  89. | N_pattern_var : Parsetree.pattern Parser.MenhirInterpreter.nonterminal
  90. | N_pattern_no_exn : Parsetree.pattern Parser.MenhirInterpreter.nonterminal
  91. | N_pattern_gen : Parsetree.pattern Parser.MenhirInterpreter.nonterminal
  92. | N_pattern : Parsetree.pattern Parser.MenhirInterpreter.nonterminal
  93. | N_parse_val_longident : Longident.t Parser.MenhirInterpreter.nonterminal
  94. | N_parse_pattern : Parsetree.pattern Parser.MenhirInterpreter.nonterminal
  95. | N_parse_mty_longident : Longident.t Parser.MenhirInterpreter.nonterminal
  96. | N_parse_module_type : Parsetree.module_type Parser.MenhirInterpreter.nonterminal
  97. | N_parse_module_expr : Parsetree.module_expr Parser.MenhirInterpreter.nonterminal
  98. | N_parse_mod_longident : Longident.t Parser.MenhirInterpreter.nonterminal
  99. | N_parse_mod_ext_longident : Longident.t Parser.MenhirInterpreter.nonterminal
  100. | N_parse_expression : Parsetree.expression Parser.MenhirInterpreter.nonterminal
  101. | N_parse_core_type : Parsetree.core_type Parser.MenhirInterpreter.nonterminal
  102. | N_parse_constr_longident : Longident.t Parser.MenhirInterpreter.nonterminal
  103. | N_parse_any_longident : Longident.t Parser.MenhirInterpreter.nonterminal
  104. | N_parenthesized_type_parameter : (Parsetree.core_type * (Asttypes.variance * Asttypes.injectivity)) Parser.MenhirInterpreter.nonterminal
  105. | N_paren_module_expr : Parsetree.module_expr Parser.MenhirInterpreter.nonterminal
  106. | N_optlabel : string Parser.MenhirInterpreter.nonterminal
  107. | N_optional_poly_type_and_modes : (Parsetree.core_type option * Parsetree.modes) Parser.MenhirInterpreter.nonterminal
  108. | N_optional_atomic_constraint_ : Parsetree.function_constraint Parser.MenhirInterpreter.nonterminal
  109. | N_optional_atat_modalities_expr : Parsetree.modalities Parser.MenhirInterpreter.nonterminal
  110. | N_option_type_constraint_ : Parsetree.type_constraint option Parser.MenhirInterpreter.nonterminal
  111. | N_option_preceded_EQUAL_seq_expr__ : Parsetree.expression option Parser.MenhirInterpreter.nonterminal
  112. | N_option_preceded_EQUAL_pattern__ : Parsetree.pattern option Parser.MenhirInterpreter.nonterminal
  113. | N_option_preceded_EQUAL_module_type__ : Parsetree.module_type option Parser.MenhirInterpreter.nonterminal
  114. | N_option_preceded_EQUAL_expr__ : Parsetree.expression option Parser.MenhirInterpreter.nonterminal
  115. | N_option_preceded_COLON_core_type__ : Parsetree.core_type option Parser.MenhirInterpreter.nonterminal
  116. | N_option_preceded_AS_mkrhs_LIDENT___ : string Location.loc option Parser.MenhirInterpreter.nonterminal
  117. | N_option_jkind_constraint_ : Parsetree.jkind_annotation option Parser.MenhirInterpreter.nonterminal
  118. | N_option_constraint__ : (Parsetree.type_constraint option * Parsetree.modes) option Parser.MenhirInterpreter.nonterminal
  119. | N_option_SEMI_ : unit option Parser.MenhirInterpreter.nonterminal
  120. | N_option_BAR_ : unit option Parser.MenhirInterpreter.nonterminal
  121. | N_opt_ampersand : bool Parser.MenhirInterpreter.nonterminal
  122. | N_operator : string Parser.MenhirInterpreter.nonterminal
  123. | N_open_description : (Parsetree.open_description * string Location.loc option) Parser.MenhirInterpreter.nonterminal
  124. | N_open_declaration : (Parsetree.open_declaration * string Location.loc option) Parser.MenhirInterpreter.nonterminal
  125. | N_object_type : Parsetree.core_type Parser.MenhirInterpreter.nonterminal
  126. | N_nonempty_type_kind : (Parsetree.type_kind * Asttypes.private_flag * Parsetree.core_type option) Parser.MenhirInterpreter.nonterminal
  127. | N_nonempty_list_raw_string_ : string list Parser.MenhirInterpreter.nonterminal
  128. | N_nonempty_list_newtype_ : (string Location.loc * Parsetree.jkind_annotation option) list Parser.MenhirInterpreter.nonterminal
  129. | N_nonempty_list_mode_legacy_ : Parsetree.modes Parser.MenhirInterpreter.nonterminal
  130. | N_nonempty_list_mode_ : Parsetree.modes Parser.MenhirInterpreter.nonterminal
  131. | N_nonempty_list_modality_ : Parsetree.modalities Parser.MenhirInterpreter.nonterminal
  132. | N_nonempty_list_mkrhs_LIDENT__ : string Location.loc list Parser.MenhirInterpreter.nonterminal
  133. | N_newtypes : (string Location.loc * Parsetree.jkind_annotation option) list Parser.MenhirInterpreter.nonterminal
  134. | N_newtype : (string Location.loc * Parsetree.jkind_annotation option) Parser.MenhirInterpreter.nonterminal
  135. | N_name_tag : string Parser.MenhirInterpreter.nonterminal
  136. | N_mutable_virtual_flags : (Asttypes.mutable_flag * Asttypes.virtual_flag) Parser.MenhirInterpreter.nonterminal
  137. | N_mutable_or_global_flag : (Asttypes.mutable_flag * Parsetree.modality Location.loc list) Parser.MenhirInterpreter.nonterminal
  138. | N_mutable_flag : Asttypes.mutable_flag Parser.MenhirInterpreter.nonterminal
  139. | N_mty_longident : Longident.t Parser.MenhirInterpreter.nonterminal
  140. | N_module_type_subst : (Parsetree.module_type_declaration * string Location.loc option) Parser.MenhirInterpreter.nonterminal
  141. | N_module_type_declaration : (Parsetree.module_type_declaration * string Location.loc option) Parser.MenhirInterpreter.nonterminal
  142. | N_module_type_atomic : Parsetree.module_type Parser.MenhirInterpreter.nonterminal
  143. | N_module_type : Parsetree.module_type Parser.MenhirInterpreter.nonterminal
  144. | N_module_subst : (Parsetree.module_substitution * string Location.loc option) Parser.MenhirInterpreter.nonterminal
  145. | N_module_name_modal_atat_modalities_expr_ : (string option Location.loc * Parsetree.modalities) Parser.MenhirInterpreter.nonterminal
  146. | N_module_name_modal_at_mode_expr_ : (Ast_helper.str_opt * Parsetree.modes) Parser.MenhirInterpreter.nonterminal
  147. | N_module_name : string option Parser.MenhirInterpreter.nonterminal
  148. | N_module_expr : Parsetree.module_expr Parser.MenhirInterpreter.nonterminal
  149. | N_module_declaration_body_module_type_with_optional_modes_ : (Parsetree.module_type * Parsetree.modes) Parser.MenhirInterpreter.nonterminal
  150. | N_module_declaration_body___anonymous_8_ : (Parsetree.module_type * Parsetree.modalities) Parser.MenhirInterpreter.nonterminal
  151. | N_module_binding_body : Parsetree.module_expr Parser.MenhirInterpreter.nonterminal
  152. | N_mod_longident : Longident.t Parser.MenhirInterpreter.nonterminal
  153. | N_mod_ext_longident : Longident.t Parser.MenhirInterpreter.nonterminal
  154. | N_mk_longident_mod_longident_val_ident_ : Longident.t Parser.MenhirInterpreter.nonterminal
  155. | N_mk_longident_mod_longident_UIDENT_ : Longident.t Parser.MenhirInterpreter.nonterminal
  156. | N_mk_longident_mod_longident_LIDENT_ : Longident.t Parser.MenhirInterpreter.nonterminal
  157. | N_mk_longident_mod_ext_longident_type_trailing_no_hash_ : Longident.t Parser.MenhirInterpreter.nonterminal
  158. | N_mk_longident_mod_ext_longident_type_trailing_hash_ : Longident.t Parser.MenhirInterpreter.nonterminal
  159. | N_mk_longident_mod_ext_longident_ident_ : Longident.t Parser.MenhirInterpreter.nonterminal
  160. | N_mk_longident_mod_ext_longident___anonymous_51_ : Longident.t Parser.MenhirInterpreter.nonterminal
  161. | N_mk_longident_mod_ext_longident_UIDENT_ : Longident.t Parser.MenhirInterpreter.nonterminal
  162. | N_mk_longident_mod_ext_longident_LIDENT_ : Longident.t Parser.MenhirInterpreter.nonterminal
  163. | N_method_ : ((string Location.loc * Asttypes.private_flag * Parsetree.class_field_kind) * Parsetree.attributes) Parser.MenhirInterpreter.nonterminal
  164. | N_meth_list : (Parsetree.object_field list * Asttypes.closed_flag) Parser.MenhirInterpreter.nonterminal
  165. | N_match_case : Parsetree.case Parser.MenhirInterpreter.nonterminal
  166. | N_listx_SEMI_record_pat_field_UNDERSCORE_ : ((Longident.t Location.loc * Parsetree.pattern) list * unit option) Parser.MenhirInterpreter.nonterminal
  167. | N_list_use_file_element_ : Parsetree.toplevel_phrase list list Parser.MenhirInterpreter.nonterminal
  168. | N_list_text_str_structure_item__ : Parsetree.structure_item list list Parser.MenhirInterpreter.nonterminal
  169. | N_list_text_cstr_class_field__ : Parsetree.class_field list list Parser.MenhirInterpreter.nonterminal
  170. | N_list_text_csig_class_sig_field__ : Parsetree.class_type_field list list Parser.MenhirInterpreter.nonterminal
  171. | N_list_structure_element_ : Parsetree.structure_item list list Parser.MenhirInterpreter.nonterminal
  172. | N_list_signature_element_ : Parsetree.signature_item list list Parser.MenhirInterpreter.nonterminal
  173. | N_list_post_item_attribute_ : Parsetree.attributes Parser.MenhirInterpreter.nonterminal
  174. | N_list_generic_and_type_declaration_type_subst_kind__ : Parsetree.type_declaration list Parser.MenhirInterpreter.nonterminal
  175. | N_list_generic_and_type_declaration_type_kind__ : Parsetree.type_declaration list Parser.MenhirInterpreter.nonterminal
  176. | N_list_attribute_ : Parsetree.attributes Parser.MenhirInterpreter.nonterminal
  177. | N_list_and_module_declaration_ : Parsetree.module_declaration list Parser.MenhirInterpreter.nonterminal
  178. | N_list_and_module_binding_ : Parsetree.module_binding list Parser.MenhirInterpreter.nonterminal
  179. | N_list_and_class_type_declaration_ : Parsetree.class_type_declaration list Parser.MenhirInterpreter.nonterminal
  180. | N_list_and_class_description_ : Parsetree.class_description list Parser.MenhirInterpreter.nonterminal
  181. | N_list_and_class_declaration_ : Parsetree.class_declaration list Parser.MenhirInterpreter.nonterminal
  182. | N_letop_bindings : (Parsetree.pattern * Parsetree.expression * Parsetree.binding_op list) Parser.MenhirInterpreter.nonterminal
  183. | N_letop_binding_body : (Parsetree.pattern * Parsetree.expression) Parser.MenhirInterpreter.nonterminal
  184. | N_let_pattern : Parsetree.pattern Parser.MenhirInterpreter.nonterminal
  185. | N_let_bindings_no_ext_ : Parser_types.let_bindings Parser.MenhirInterpreter.nonterminal
  186. | N_let_bindings_ext_ : Parser_types.let_bindings Parser.MenhirInterpreter.nonterminal
  187. | N_let_binding_body_no_punning : (Parsetree.pattern * Parsetree.expression * Parsetree.value_constraint option * Parsetree.modes) Parser.MenhirInterpreter.nonterminal
  188. | N_let_binding_body : (Parsetree.pattern * Parsetree.expression * Parsetree.value_constraint option * Parsetree.modes * bool) Parser.MenhirInterpreter.nonterminal
  189. | N_labeled_tuple_pat_element_list_pattern_no_exn_ : (string option * Parsetree.pattern) list Parser.MenhirInterpreter.nonterminal
  190. | N_labeled_tuple_pat_element_list_pattern_ : (string option * Parsetree.pattern) list Parser.MenhirInterpreter.nonterminal
  191. | N_labeled_simple_pattern : (Asttypes.arg_label * Parsetree.expression option * Parsetree.pattern) Parser.MenhirInterpreter.nonterminal
  192. | N_labeled_simple_expr : (Asttypes.arg_label * Parsetree.expression) Parser.MenhirInterpreter.nonterminal
  193. | N_label_longident : Longident.t Parser.MenhirInterpreter.nonterminal
  194. | N_label_let_pattern : (string * Parsetree.pattern) Parser.MenhirInterpreter.nonterminal
  195. | N_label_declarations : Parsetree.label_declaration list Parser.MenhirInterpreter.nonterminal
  196. | N_label_declaration_semi : Parsetree.label_declaration Parser.MenhirInterpreter.nonterminal
  197. | N_label_declaration : Parsetree.label_declaration Parser.MenhirInterpreter.nonterminal
  198. | N_kind_abbreviation_decl : (string Location.loc * Parsetree.jkind_annotation) Parser.MenhirInterpreter.nonterminal
  199. | N_jkind_desc : Parsetree.jkind_annotation_desc Parser.MenhirInterpreter.nonterminal
  200. | N_jkind_constraint : Parsetree.jkind_annotation Parser.MenhirInterpreter.nonterminal
  201. | N_jkind_annotation : Parsetree.jkind_annotation Parser.MenhirInterpreter.nonterminal
  202. | N_item_extension : Parsetree.extension Parser.MenhirInterpreter.nonterminal
  203. | N_interface : Parsetree.signature Parser.MenhirInterpreter.nonterminal
  204. | N_index_mod : string Parser.MenhirInterpreter.nonterminal
  205. | N_include_kind : Parsetree.include_kind Parser.MenhirInterpreter.nonterminal
  206. | N_implementation : Parsetree.structure Parser.MenhirInterpreter.nonterminal
  207. | N_ident : string Parser.MenhirInterpreter.nonterminal
  208. | N_generic_type_declaration_nonrec_flag_type_kind_ : ((Asttypes.rec_flag * string Location.loc option) * Parsetree.type_declaration) Parser.MenhirInterpreter.nonterminal
  209. | N_generic_type_declaration_no_nonrec_flag_type_subst_kind_ : ((Asttypes.rec_flag * string Location.loc option) * Parsetree.type_declaration) Parser.MenhirInterpreter.nonterminal
  210. | N_generic_constructor_declaration_epsilon_ : (Ast_helper.str * (string Location.loc * Parsetree.jkind_annotation option) list * Parsetree.constructor_arguments * Parsetree.core_type option * Parsetree.attributes * Warnings.loc * Docstrings.info) Parser.MenhirInterpreter.nonterminal
  211. | N_generic_constructor_declaration_BAR_ : (Ast_helper.str * (string Location.loc * Parsetree.jkind_annotation option) list * Parsetree.constructor_arguments * Parsetree.core_type option * Parsetree.attributes * Warnings.loc * Docstrings.info) Parser.MenhirInterpreter.nonterminal
  212. | N_generalized_constructor_arguments : ((string Location.loc * Parsetree.jkind_annotation option) list * Parsetree.constructor_arguments * Parsetree.core_type option) Parser.MenhirInterpreter.nonterminal
  213. | N_functor_arg : (lexing_position * Parsetree.functor_parameter) Parser.MenhirInterpreter.nonterminal
  214. | N_function_type : Parsetree.core_type Parser.MenhirInterpreter.nonterminal
  215. | N_fun_seq_expr : Parsetree.expression Parser.MenhirInterpreter.nonterminal
  216. | N_fun_params : Parsetree.function_param list Parser.MenhirInterpreter.nonterminal
  217. | N_fun_param_as_list : Parsetree.function_param list Parser.MenhirInterpreter.nonterminal
  218. | N_fun_expr : Parsetree.expression Parser.MenhirInterpreter.nonterminal
  219. | N_fun_body : Parsetree.function_body Parser.MenhirInterpreter.nonterminal
  220. | N_fun_ : Parsetree.expression Parser.MenhirInterpreter.nonterminal
  221. | N_formal_class_parameters : (Parsetree.core_type * (Asttypes.variance * Asttypes.injectivity)) list Parser.MenhirInterpreter.nonterminal
  222. | N_floating_attribute : Parsetree.attribute Parser.MenhirInterpreter.nonterminal
  223. | N_extension_type : Parsetree.core_type Parser.MenhirInterpreter.nonterminal
  224. | N_extension_constructor_rebind_epsilon_ : Parsetree.extension_constructor Parser.MenhirInterpreter.nonterminal
  225. | N_extension_constructor_rebind_BAR_ : Parsetree.extension_constructor Parser.MenhirInterpreter.nonterminal
  226. | N_extension : Parsetree.extension Parser.MenhirInterpreter.nonterminal
  227. | N_ext : string Location.loc option Parser.MenhirInterpreter.nonterminal
  228. | N_direction_flag : Asttypes.direction_flag Parser.MenhirInterpreter.nonterminal
  229. | N_delimited_type_supporting_local_open : Parsetree.core_type Parser.MenhirInterpreter.nonterminal
  230. | N_delimited_type : Parsetree.core_type Parser.MenhirInterpreter.nonterminal
  231. | N_core_type : Parsetree.core_type Parser.MenhirInterpreter.nonterminal
  232. | N_constructor_declarations : Parsetree.constructor_declaration list Parser.MenhirInterpreter.nonterminal
  233. | N_constructor_arguments : Parsetree.constructor_arguments Parser.MenhirInterpreter.nonterminal
  234. | N_constrain_field : (Parsetree.core_type * Parsetree.core_type) Parser.MenhirInterpreter.nonterminal
  235. | N_constr_longident : Longident.t Parser.MenhirInterpreter.nonterminal
  236. | N_constr_ident : string Parser.MenhirInterpreter.nonterminal
  237. | N_constr_extra_nonprefix_ident : string Parser.MenhirInterpreter.nonterminal
  238. | N_constant : Parsetree.constant Parser.MenhirInterpreter.nonterminal
  239. | N_comprehension_iterator : Parsetree.comprehension_iterator Parser.MenhirInterpreter.nonterminal
  240. | N_comprehension_clause_binding : Parsetree.comprehension_clause_binding Parser.MenhirInterpreter.nonterminal
  241. | N_comprehension_clause : Parsetree.comprehension_clause Parser.MenhirInterpreter.nonterminal
  242. | N_clty_longident : Longident.t Parser.MenhirInterpreter.nonterminal
  243. | N_class_type_declarations : (string Location.loc option * Parsetree.class_type_declaration list) Parser.MenhirInterpreter.nonterminal
  244. | N_class_type : Parsetree.class_type Parser.MenhirInterpreter.nonterminal
  245. | N_class_simple_expr : Parsetree.class_expr Parser.MenhirInterpreter.nonterminal
  246. | N_class_signature : Parsetree.class_type Parser.MenhirInterpreter.nonterminal
  247. | N_class_sig_field : Parsetree.class_type_field Parser.MenhirInterpreter.nonterminal
  248. | N_class_self_type : Parsetree.core_type Parser.MenhirInterpreter.nonterminal
  249. | N_class_self_pattern : Parsetree.pattern Parser.MenhirInterpreter.nonterminal
  250. | N_class_longident : Longident.t Parser.MenhirInterpreter.nonterminal
  251. | N_class_fun_def : Parsetree.class_expr Parser.MenhirInterpreter.nonterminal
  252. | N_class_fun_binding : Parsetree.class_expr Parser.MenhirInterpreter.nonterminal
  253. | N_class_field : Parsetree.class_field Parser.MenhirInterpreter.nonterminal
  254. | N_class_expr : Parsetree.class_expr Parser.MenhirInterpreter.nonterminal
  255. | N_block_access : Parsetree.block_access Parser.MenhirInterpreter.nonterminal
  256. | N_attribute : Parsetree.attribute Parser.MenhirInterpreter.nonterminal
  257. | N_attr_payload : Parsetree.payload Parser.MenhirInterpreter.nonterminal
  258. | N_attr_id : Ast_helper.str Parser.MenhirInterpreter.nonterminal
  259. | N_atomic_type : Parsetree.core_type Parser.MenhirInterpreter.nonterminal
  260. | N_atat_modalities_expr : Parsetree.modalities Parser.MenhirInterpreter.nonterminal
  261. | N_at_mode_expr : Parsetree.modes Parser.MenhirInterpreter.nonterminal
  262. | N_any_longident : Longident.t Parser.MenhirInterpreter.nonterminal
  263. | N_and_let_binding : Parser_types.let_binding Parser.MenhirInterpreter.nonterminal
  264. | N_alias_type : Parsetree.core_type Parser.MenhirInterpreter.nonterminal
  265. | N_additive : string Parser.MenhirInterpreter.nonterminal
include MenhirLib.IncrementalEngine.INSPECTION with type 'a lr1state := 'a Parser.MenhirInterpreter.lr1state with type production := Parser.MenhirInterpreter.production with type 'a terminal := 'a Parser.MenhirInterpreter.terminal with type 'a nonterminal := 'a Parser.MenhirInterpreter.nonterminal with type 'a env := 'a Parser.MenhirInterpreter.env
include CamlinternalMenhirLib.IncrementalEngine.SYMBOLS with type 'a terminal := 'a Parser.MenhirInterpreter.terminal with type 'a nonterminal := 'a Parser.MenhirInterpreter.nonterminal
val nullable : _ Parser.MenhirInterpreter.nonterminal -> bool
val foreach_terminal : (Parser.MenhirInterpreter.xsymbol -> 'a -> 'a) -> 'a -> 'a
val foreach_terminal_but_error : (Parser.MenhirInterpreter.xsymbol -> 'a -> 'a) -> 'a -> 'a