Module Cobol_parser.Grammar_interpr

include MenhirLib.IncrementalEngine.INCREMENTAL_ENGINE with type token = Cobol_parser__.Grammar.token
type token
type production
type 'a env
type !'a checkpoint = private
  1. | InputNeeded of 'a env
  2. | Shifting of 'a env * 'a env * bool
  3. | AboutToReduce of 'a env * production
  4. | HandlingError of 'a env
  5. | Accepted of 'a
  6. | Rejected
val offer : 'a checkpoint -> (token * MenhirLib.IncrementalEngine.position * MenhirLib.IncrementalEngine.position) -> 'a checkpoint
type strategy = [
  1. | `Legacy
  2. | `Simplified
]
val resume : ?strategy:strategy -> 'a checkpoint -> 'a checkpoint
type supplier = unit -> token * MenhirLib.IncrementalEngine.position * MenhirLib.IncrementalEngine.position
val lexer_lexbuf_to_supplier : (Stdlib.Lexing.lexbuf -> token) -> Stdlib.Lexing.lexbuf -> supplier
val loop : ?strategy:strategy -> supplier -> 'a checkpoint -> 'a
val loop_handle : ('a -> 'answer) -> ('a checkpoint -> 'answer) -> supplier -> 'a checkpoint -> 'answer
val loop_handle_undo : ('a -> 'answer) -> ('a checkpoint -> 'a checkpoint -> 'answer) -> supplier -> 'a checkpoint -> 'answer
val shifts : 'a checkpoint -> 'a env option
val acceptable : 'a checkpoint -> token -> MenhirLib.IncrementalEngine.position -> bool
type 'a lr1state
val number : 'a lr1state -> int
val production_index : production -> int
val find_production : int -> production
type element =
  1. | Element : 'a lr1state * 'a * MenhirLib.IncrementalEngine.position * MenhirLib.IncrementalEngine.position -> element
type stack = element MenhirLib.General.stream
val stack : 'a env -> stack
val top : 'a env -> element option
val pop_many : int -> 'a env -> 'a env option
val get : int -> 'a env -> element option
val current_state_number : 'a env -> int
val equal : 'a env -> 'a env -> bool
val positions : 'a env -> MenhirLib.IncrementalEngine.position * MenhirLib.IncrementalEngine.position
val env_has_default_reduction : 'a env -> bool
val state_has_default_reduction : 'a lr1state -> bool
val pop : 'a env -> 'a env option
val force_reduction : production -> 'a env -> 'a env
val input_needed : 'a env -> 'a checkpoint
type 'a terminal
type _ nonterminal =
  1. | N_write_target : Cobol_ptree.write_target nonterminal
  2. | N_write_statement : Cobol_ptree.statement nonterminal
  3. | N_working_storage_section : Cobol_ptree.linkage_section Cobol_ptree.with_loc nonterminal
  4. | N_word_or_terminal : unit nonterminal
  5. | N_with_test : Cobol_ptree.stage nonterminal
  6. | N_with_status : Cobol_ptree.stop_run_status nonterminal
  7. | N_with_lock_clause : Cobol_ptree.with_lock nonterminal
  8. | N_with_lock : bool option nonterminal
  9. | N_with_key : [ Cobol_ptree__.Terms.ident_ | Cobol_ptree__.Terms.alnum_ ] Cobol_ptree__.Terms.term nonterminal
  10. | N_with_duplicates : bool nonterminal
  11. | N_with_data : unit nonterminal
  12. | N_when_selection_objects : Cobol_ptree.selection_object list nonterminal
  13. | N_when_phrase : Cobol_ptree.evaluate_branch nonterminal
  14. | N_when_other : Cobol_ptree.statements nonterminal
  15. | N_when_clause : Cobol_ptree.search_when_clause nonterminal
  16. | N_varying_phrase : Cobol_ptree.varying_phrase nonterminal
  17. | N_varying_clause : Cobol_ptree.data_varying list nonterminal
  18. | N_valueof_clause : Cobol_ptree.valueof_clause list nonterminal
  19. | N_validation_stage : Cobol_ptree.validation_stage nonterminal
  20. | N_validation_clause : Cobol_ptree.validation_clause nonterminal
  21. | N_validate_status_clause : Cobol_ptree.validation_clause nonterminal
  22. | N_validate_statement : Cobol_ptree.statement nonterminal
  23. | N_using_by : Cobol_ptree.call_using_clause nonterminal
  24. | N_use_statement : Cobol_ptree.declarative_use nonterminal
  25. | N_use_after_exception : Cobol_ptree.use_after_exception nonterminal
  26. | N_usage_clause : Cobol_ptree.usage_clause nonterminal
  27. | N_usage : Cobol_ptree.usage_clause nonterminal
  28. | N_upon : Cobol_ptree.display_target nonterminal
  29. | N_up_down : Cobol_ptree.set_ambiguous_method nonterminal
  30. | N_unstring_target : Cobol_ptree.unstring_target nonterminal
  31. | N_unstring_statement : Cobol_ptree.statement nonterminal
  32. | N_unstring_delimiters : Cobol_ptree.unstring_delimiter list nonterminal
  33. | N_unlock_statement : Cobol_ptree.statement nonterminal
  34. | N_unit_name : [ Cobol_ptree__.Terms.name_ | Cobol_ptree__.Terms.lit_ ] Cobol_ptree__.Terms.term Cobol_ptree.with_loc nonterminal
  35. | N_unhandled_custom_intrinsic : Cobol_ptree.intrinsic_name nonterminal
  36. | N_unconditional_action : Cobol_ptree.statement nonterminal
  37. | N_unary__atomic_no_all_atomic_no_all_ : Cobol_ptree.expression nonterminal
  38. | N_unary__atomic_atomic_ : Cobol_ptree.expression nonterminal
  39. | N_typedef_clause : Cobol_ptree.data_clause nonterminal
  40. | N_trimming_tip : Cobol_ptree.trimming_tip nonterminal
  41. | N_transform_statement : Cobol_ptree.statement nonterminal
  42. | N_then_replacing : Cobol_ptree.init_replacing list nonterminal
  43. | N_terminate_statement : Cobol_ptree.statement nonterminal
  44. | N_term__factor__atomic_no_leftmost_length__factor_atomic_atomic__ : Cobol_ptree.expression nonterminal
  45. | N_term__factor__atomic_no_all__factor_atomic_atomic__ : Cobol_ptree.expression nonterminal
  46. | N_term__factor_atomic_no_all_atomic_no_all__factor_atomic_no_all_atomic_no_all__ : Cobol_ptree.expression nonterminal
  47. | N_term__factor_atomic_atomic__factor_atomic_atomic__ : Cobol_ptree.expression nonterminal
  48. | N_tallying_for : Cobol_ptree.tallying_clause nonterminal
  49. | N_tallying : Cobol_ptree.tallying nonterminal
  50. | N_synchronized_clause : Cobol_ptree.synchronized_clause nonterminal
  51. | N_symbolic_characters_clause : Cobol_ptree.special_names_clause nonterminal
  52. | N_suppress_statement : Cobol_ptree.statement nonterminal
  53. | N_sum_phrase : Cobol_ptree.sum_phrase nonterminal
  54. | N_sum_operands : Cobol_ptree.expression list nonterminal
  55. | N_sum_clause : Cobol_ptree.report_group_clause nonterminal
  56. | N_subtract_statement : Cobol_ptree.statement nonterminal
  57. | N_subscripts : Cobol_ptree.subscript list nonterminal
  58. | N_subscript_following : Cobol_ptree.subscript nonterminal
  59. | N_subscript_first : Cobol_ptree.subscript nonterminal
  60. | N_structure_kind : Cobol_ptree.dyn_len_struct_kind nonterminal
  61. | N_string_statement : Cobol_ptree.statement nonterminal
  62. | N_string_or_int_literal : Cobol_ptree.strlit_or_intlit nonterminal
  63. | N_string_literal_no_all : Cobol_ptree.strlit_ Cobol_ptree.term nonterminal
  64. | N_string_literal : Cobol_ptree.strlit nonterminal
  65. | N_stop_with_arg : Cobol_ptree.stop_arg nonterminal
  66. | N_stop_statement : Cobol_ptree.stop_stmt nonterminal
  67. | N_stop_run_returning_body : Cobol_ptree.stop_run_return nonterminal
  68. | N_stop_body : Cobol_ptree.stop_stmt nonterminal
  69. | N_step_phrase : string nonterminal
  70. | N_status_switch : Cobol_ptree.status_switch nonterminal
  71. | N_status_kind : Cobol_ptree.status_kind nonterminal
  72. | N_start_statement : Cobol_ptree.statement nonterminal
  73. | N_standalone_condition : [ Cobol_ptree__.Terms.simple_ | Cobol_ptree__.Terms.complex_ ] Cobol_ptree__.Terms.cond nonterminal
  74. | N_specifier : Cobol_ptree.specifier nonterminal
  75. | N_special_names_paragraph : Cobol_ptree.special_names_paragraph nonterminal
  76. | N_special_names_clause : Cobol_ptree.special_names_clause nonterminal
  77. | N_source_string : Cobol_ptree.string_source nonterminal
  78. | N_source_operands : Cobol_ptree.expression list nonterminal
  79. | N_source_destination_clauses : Cobol_ptree.source_destination_clause Cobol_ptree.with_loc list nonterminal
  80. | N_source_destination_clause : Cobol_ptree.source_destination_clause nonterminal
  81. | N_source_computer_paragraph : Cobol_ptree.source_computer_paragraph nonterminal
  82. | N_source_clause : Cobol_ptree.report_group_clause nonterminal
  83. | N_sort_statement : Cobol_ptree.statement nonterminal
  84. | N_sort_merge_file_descr_clause : Cobol_ptree.file_sd_clause nonterminal
  85. | N_size_clause : [ Cobol_ptree__.Terms.ident_ | Cobol_ptree__.Terms.int_ ] Cobol_ptree__.Terms.term nonterminal
  86. | N_signedness_ : Cobol_ptree.signedness option nonterminal
  87. | N_sign_condition_no_zero : Cobol_ptree.signz nonterminal
  88. | N_sign_condition : Cobol_ptree.loose_ Cobol_ptree.sign_cond nonterminal
  89. | N_sign_clause : Cobol_ptree.sign_clause nonterminal
  90. | N_sign : Cobol_ptree.sign nonterminal
  91. | N_sharing_phrase : Cobol_ptree.sharing_mode nonterminal
  92. | N_sharing_mode : Cobol_ptree.sharing_mode nonterminal
  93. | N_sharing_clause : Cobol_ptree.select_clause nonterminal
  94. | N_set_statement : Cobol_ptree.set_stmt nonterminal
  95. | N_set_attribute_switches : Cobol_ptree.set_attribute_switch list nonterminal
  96. | N_sentence : Cobol_ptree__.Branching_statements.statement Cobol_common.Srcloc.with_loc list nonterminal
  97. | N_send_statement : Cobol_ptree.statement nonterminal
  98. | N_selection_subjects : Cobol_ptree.selection_subject list nonterminal
  99. | N_selection_subject : Cobol_ptree.selection_subject nonterminal
  100. | N_selection_objects : Cobol_ptree.selection_object list nonterminal
  101. | N_selection_object : Cobol_ptree.selection_object nonterminal
  102. | N_select_when_clause : Cobol_ptree.select_when_clause nonterminal
  103. | N_select_clause : Cobol_ptree.select_clause nonterminal
  104. | N_select : Cobol_ptree.select nonterminal
  105. | N_segment_limit_clause : Cobol_ptree.object_computer_clause nonterminal
  106. | N_section_paragraphs : Cobol_ptree.paragraph Cobol_ptree.with_loc list nonterminal
  107. | N_section_paragraph : Cobol_ptree.paragraph nonterminal
  108. | N_search_statement : Cobol_ptree.statement nonterminal
  109. | N_search_condition : Cobol_ptree.search_condition nonterminal
  110. | N_screen_section : Cobol_ptree.screen_section Cobol_ptree.with_loc nonterminal
  111. | N_screen_occurs_clause : string nonterminal
  112. | N_screen_line_column_clause : Cobol_ptree.screen_line_column_clause nonterminal
  113. | N_screen_line_clause : Cobol_ptree.screen_line_column_clause nonterminal
  114. | N_screen_descr_entry : Cobol_ptree.screen_item nonterminal
  115. | N_screen_descr_clause : Cobol_ptree.screen_clause nonterminal
  116. | N_screen_control_clause : [ Cobol_ptree__.Terms.base_ident_ | Cobol_ptree__.Terms.refmod_ident_ ] Cobol_ptree__.Terms.term nonterminal
  117. | N_screen_column_clause : Cobol_ptree.screen_line_column_clause nonterminal
  118. | N_screen_attribute_on_off : Cobol_ptree.set_attribute_switch nonterminal
  119. | N_screen_attribute_name : Cobol_ptree.screen_attribute nonterminal
  120. | N_screen_attribute_clauses : Cobol_ptree.screen_attribute_clause Cobol_ptree.with_loc list nonterminal
  121. | N_screen_attribute_clause : Cobol_ptree.screen_attribute_clause nonterminal
  122. | N_scalar_ident : Cobol_ptree.scalar_ident_ Cobol_ptree.term nonterminal
  123. | N_scalar : [ Cobol_ptree__.Terms.scalar_ident_ | Cobol_ptree__.Terms.refmod_ident_ | Cobol_ptree__.Terms.lit_ | Cobol_ptree__.Terms.arith_value_ ] Cobol_ptree__.Terms.term nonterminal
  124. | N_same_as_clause : string Cobol_ptree.with_loc nonterminal
  125. | N_same_area_clause : Cobol_ptree.same_area_clause nonterminal
  126. | N_s_delimited_by : Cobol_ptree.string_delimiter nonterminal
  127. | N_rounding_mode : Cobol_ptree.rounding_mode nonterminal
  128. | N_rounded_phrase_opt : Cobol_ptree.rounding nonterminal
  129. | N_rounded_phrase : Cobol_ptree.rounding nonterminal
  130. | N_rounded_ident : Cobol_ptree.rounded_ident nonterminal
  131. | N_rounded_clause : Cobol_ptree.options_clause nonterminal
  132. | N_ro_with_test_ : Cobol_ptree.stage option nonterminal
  133. | N_ro_step_phrase_ : string option nonterminal
  134. | N_ro_signedness_ : Cobol_ptree.signedness option nonterminal
  135. | N_ro_sign_ : [ `Strict ] Cobol_ptree__.Terms.sign_cond option nonterminal
  136. | N_ro_sharing_phrase_ : Cobol_ptree.sharing_mode option nonterminal
  137. | N_ro_s_delimited_by_ : Cobol_ptree.string_delimiter option nonterminal
  138. | N_ro_returning_or_giving_ : [ Cobol_ptree__.Terms.base_ident_ | Cobol_ptree__.Terms.refmod_ident_ ] Cobol_ptree__.Terms.term Cobol_ptree.with_loc option nonterminal
  139. | N_ro_returning_ : [ Cobol_ptree__.Terms.base_ident_ | Cobol_ptree__.Terms.refmod_ident_ ] Cobol_ptree__.Terms.term Cobol_ptree.with_loc option nonterminal
  140. | N_ro_retry_phrase_ : Cobol_ptree.retry_clause option nonterminal
  141. | N_ro_read_direction_ : Cobol_ptree.read_direction option nonterminal
  142. | N_ro_raising_exception_ : Cobol_ptree.raising option nonterminal
  143. | N_ro_procedure_args_ : Cobol_ptree.procedure_args option nonterminal
  144. | N_ro_picture_locale_phrase_ : Cobol_ptree.locale_phrase option nonterminal
  145. | N_ro_pf_option_TO__name__ : string Cobol_ptree.with_loc option nonterminal
  146. | N_ro_pf___anonymous_89_qualname__ : [ Cobol_ptree__.Terms.name_ | Cobol_ptree__.Terms.name Cobol_ptree__.Terms.qual_ ] Cobol_ptree__.Terms.term option nonterminal
  147. | N_ro_pf___anonymous_43_property_kind__ : Cobol_ptree.property_kind option nonterminal
  148. | N_ro_pf___anonymous_42_integer__ : string option nonterminal
  149. | N_ro_pf___anonymous_37_integer__ : string option nonterminal
  150. | N_ro_pf___anonymous_36_integer__ : string option nonterminal
  151. | N_ro_pf___anonymous_33_integer__ : string option nonterminal
  152. | N_ro_pf___anonymous_32_integer__ : string option nonterminal
  153. | N_ro_pf___anonymous_31_qualname_or_integer__ : [ Cobol_ptree__.Terms.qualname_ | Cobol_ptree__.Terms.int_ ] Cobol_ptree__.Terms.term option nonterminal
  154. | N_ro_pf___anonymous_29_qualname_or_integer__ : [ Cobol_ptree__.Terms.qualname_ | Cobol_ptree__.Terms.int_ ] Cobol_ptree__.Terms.term option nonterminal
  155. | N_ro_pf___anonymous_14_string_literal__ : [ Cobol_ptree__.Terms.alnum_ | Cobol_ptree__.Terms.national_ ] Cobol_ptree__.Terms.term option nonterminal
  156. | N_ro_pf___anonymous_106_ident__ : [ Cobol_ptree__.Terms.base_ident_ | Cobol_ptree__.Terms.refmod_ident_ ] Cobol_ptree__.Terms.term option nonterminal
  157. | N_ro_pf___anonymous_105_ident__ : [ Cobol_ptree__.Terms.base_ident_ | Cobol_ptree__.Terms.refmod_ident_ ] Cobol_ptree__.Terms.term option nonterminal
  158. | N_ro_pf_VARYING_ident__ : [ Cobol_ptree__.Terms.base_ident_ | Cobol_ptree__.Terms.refmod_ident_ ] Cobol_ptree__.Terms.term option nonterminal
  159. | N_ro_pf_USING_name__ : string Cobol_ptree.with_loc option nonterminal
  160. | N_ro_pf_TO_loc_integer___ : string Cobol_ptree.with_loc option nonterminal
  161. | N_ro_pf_THROUGH_string_or_int_literal__ : Cobol_ptree.strlit_or_intlit option nonterminal
  162. | N_ro_pf_THROUGH_procedure_name__ : [ Cobol_ptree__.Terms.name_ | Cobol_ptree__.Terms.name Cobol_ptree__.Terms.qual_ ] Cobol_ptree__.Terms.term Cobol_ptree.with_loc option nonterminal
  163. | N_ro_pf_REMAINDER_ident__ : [ Cobol_ptree__.Terms.base_ident_ | Cobol_ptree__.Terms.refmod_ident_ ] Cobol_ptree__.Terms.term option nonterminal
  164. | N_ro_pf_POSITION_integer__ : string option nonterminal
  165. | N_ro_pf_ON_name__ : string Cobol_ptree.with_loc option nonterminal
  166. | N_ro_pf_INTO_loc_ident___ : [ Cobol_ptree__.Terms.base_ident_ | Cobol_ptree__.Terms.refmod_ident_ ] Cobol_ptree__.Terms.term Cobol_ptree.with_loc option nonterminal
  167. | N_ro_pf_INTO_ident__ : [ Cobol_ptree__.Terms.base_ident_ | Cobol_ptree__.Terms.refmod_ident_ ] Cobol_ptree__.Terms.term option nonterminal
  168. | N_ro_pf_IN_name__ : string Cobol_ptree.with_loc option nonterminal
  169. | N_ro_pf_FROM_loc_integer___ : string Cobol_ptree.with_loc option nonterminal
  170. | N_ro_pf_FROM_ident_or_literal__ : [ Cobol_ptree__.Terms.ident_ | Cobol_ptree__.Terms.lit_ ] Cobol_ptree__.Terms.term option nonterminal
  171. | N_ro_pf_FROM_expression__ : Cobol_ptree.expression option nonterminal
  172. | N_ro_pf_BY_scalar__ : [ Cobol_ptree__.Terms.scalar_ident_ | Cobol_ptree__.Terms.refmod_ident_ | Cobol_ptree__.Terms.lit_ | Cobol_ptree__.Terms.arith_value_ ] Cobol_ptree__.Terms.term option nonterminal
  173. | N_ro_pf_BY_expression__ : Cobol_ptree.expression option nonterminal
  174. | N_ro_pf_AS_string_literal__ : [ Cobol_ptree__.Terms.alnum_ | Cobol_ptree__.Terms.national_ ] Cobol_ptree__.Terms.term option nonterminal
  175. | N_ro_perform_phrase_ : Cobol_ptree.perform_mode option nonterminal
  176. | N_ro_pair_rl_procedure_name____anonymous_83__ : ([ Cobol_ptree__.Terms.name_ | Cobol_ptree__.Terms.name Cobol_ptree__.Terms.qual_ ] Cobol_ptree__.Terms.term Cobol_ptree.with_loc list * [ Cobol_ptree__.Terms.base_ident_ | Cobol_ptree__.Terms.refmod_ident_ ] Cobol_ptree__.Terms.term) option nonterminal
  177. | N_ro_object_reference_kind_ : Cobol_ptree.object_reference_kind option nonterminal
  178. | N_ro_name_ : string Cobol_ptree.with_loc option nonterminal
  179. | N_ro_lock_or_retry_ : Cobol_ptree.read_lock_behavior option nonterminal
  180. | N_ro_locale_phrase_ : Cobol_ptree.locale option nonterminal
  181. | N_ro_loc_special_names_paragraph__ : Cobol_ptree.special_names_paragraph Cobol_ptree.with_loc option nonterminal
  182. | N_ro_loc_source_computer_paragraph__ : Cobol_ptree.source_computer_paragraph Cobol_ptree.with_loc option nonterminal
  183. | N_ro_loc_repository_paragraph__ : Cobol_ptree.repository_paragraph Cobol_ptree.with_loc option nonterminal
  184. | N_ro_loc_program_procedure_division__ : Cobol_ptree.procedure_division Cobol_ptree.with_loc option nonterminal
  185. | N_ro_loc_procedure_division__ : Cobol_ptree.procedure_division Cobol_ptree.with_loc option nonterminal
  186. | N_ro_loc_options_paragraph__ : Cobol_ptree__.Misc_sections.options_clause Cobol_common.Srcloc.with_loc list Cobol_ptree.with_loc option nonterminal
  187. | N_ro_loc_object_procedure_division__ : Cobol_ptree.method_definitions Cobol_ptree.with_loc option nonterminal
  188. | N_ro_loc_object_computer_paragraph__ : Cobol_ptree.object_computer_paragraph Cobol_ptree.with_loc option nonterminal
  189. | N_ro_loc_io_control_paragraph__ : Cobol_ptree.io_control_paragraph Cobol_ptree.with_loc option nonterminal
  190. | N_ro_loc_instance_definition__ : Cobol_ptree.instance_definition Cobol_ptree.with_loc option nonterminal
  191. | N_ro_loc_input_output_section__ : Cobol_ptree.input_output_section Cobol_ptree.with_loc option nonterminal
  192. | N_ro_loc_file_control_paragraph__ : Cobol_ptree.file_control_paragraph Cobol_ptree.with_loc option nonterminal
  193. | N_ro_loc_expression_no_all__ : Cobol_ptree.expression Cobol_ptree.with_loc option nonterminal
  194. | N_ro_loc_environment_division__ : Cobol_ptree.environment_division Cobol_ptree.with_loc option nonterminal
  195. | N_ro_loc_configuration_section__ : Cobol_ptree.configuration_section Cobol_ptree.with_loc option nonterminal
  196. | N_ro_integer_ : string option nonterminal
  197. | N_ro_goback_returning_ : [ Cobol_ptree__.Terms.ident_ | Cobol_ptree__.Terms.int_ ] Cobol_ptree__.Terms.term Cobol_ptree.with_loc option nonterminal
  198. | N_ro_expands_phrase_ : Cobol_ptree.expands option nonterminal
  199. | N_ro_entry_name_clause_ : Cobol_ptree.data_name Cobol_ptree.with_loc option nonterminal
  200. | N_ro_endianness_mode_ : Cobol_ptree.endianness_mode option nonterminal
  201. | N_ro_depending_phrase_ : [ Cobol_ptree__.Terms.name_ | Cobol_ptree__.Terms.name Cobol_ptree__.Terms.qual_ ] Cobol_ptree__.Terms.term Cobol_ptree.with_loc option nonterminal
  202. | N_ro_collating_sequence_phrase_ : Cobol_ptree.alphabet_specification option nonterminal
  203. | N_ro_close_format_ : Cobol_ptree.close_format option nonterminal
  204. | N_ro_capacity_phrase_ : string Cobol_ptree.with_loc option nonterminal
  205. | N_ro_advancing_phrase_ : Cobol_ptree.advancing_phrase option nonterminal
  206. | N_rnell_rev_tallying_ : Cobol_ptree.tallying list nonterminal
  207. | N_rnell_rev___anonymous_94_ : Cobol_ptree.set_condition_spec list nonterminal
  208. | N_rnell_rev___anonymous_93_ : Cobol_ptree.set_condition_spec list nonterminal
  209. | N_rnell_rev___anonymous_92_ : Cobol_ptree.set_switch_spec list nonterminal
  210. | N_rnell_rev___anonymous_91_ : Cobol_ptree.set_switch_spec list nonterminal
  211. | N_rnel_when_selection_objects_ : Cobol_ptree.selection_object list list nonterminal
  212. | N_rnel_validation_stage_ : Cobol_ptree.validation_stage list nonterminal
  213. | N_rnel_use_after_exception_ : Cobol_ptree.use_after_exception list nonterminal
  214. | N_rnel_unstring_target_ : Cobol_ptree.unstring_target list nonterminal
  215. | N_rnel_subscript_following_ : Cobol_ptree.subscript list nonterminal
  216. | N_rnel_specifier_ : Cobol_ptree.repository_paragraph nonterminal
  217. | N_rnel_select_ : Cobol_ptree.file_control_paragraph nonterminal
  218. | N_rnel_screen_attribute_on_off_ : Cobol_ptree.set_attribute_switch list nonterminal
  219. | N_rnel_rounded_ident_ : Cobol_ptree.rounded_idents nonterminal
  220. | N_rnel_qualname_ : [ Cobol_ptree__.Terms.name_ | Cobol_ptree__.Terms.name Cobol_ptree__.Terms.qual_ ] Cobol_ptree__.Terms.term list nonterminal
  221. | N_rnel_pf_ALSO_string_or_int_literal__ : [ Cobol_ptree__.Terms.strlit_ | Cobol_ptree__.Terms.int_ ] Cobol_ptree__.Terms.term list nonterminal
  222. | N_rnel_open_phrase_ : Cobol_ptree__.Simple_statements.open_phrase list nonterminal
  223. | N_rnel_on_key_ : Cobol_ptree.sort_spec list nonterminal
  224. | N_rnel_name_or_alphanum_ : [ Cobol_ptree__.Terms.name_ | Cobol_ptree__.Terms.alnum_ ] Cobol_ptree__.Terms.term list nonterminal
  225. | N_rnel_name_ : string Cobol_common.Srcloc.with_loc list nonterminal
  226. | N_rnel_loc_using_by__ : Cobol_ptree.call_using_clause Cobol_ptree.with_loc list nonterminal
  227. | N_rnel_loc_tallying_for__ : Cobol_ptree.tallying_clause Cobol_ptree.with_loc list nonterminal
  228. | N_rnel_loc_special_names_clause__ : Cobol_ptree.special_names_paragraph nonterminal
  229. | N_rnel_loc_sentence__ : Cobol_ptree__.Branching_statements.statement Cobol_common.Srcloc.with_loc list Cobol_ptree.with_loc list nonterminal
  230. | N_rnel_loc_select_clause__ : Cobol_ptree.select_clause Cobol_ptree.with_loc list nonterminal
  231. | N_rnel_loc_section_paragraph__ : Cobol_ptree.paragraph Cobol_ptree.with_loc list nonterminal
  232. | N_rnel_loc_replacing_phrase__ : Cobol_ptree.replacing list nonterminal
  233. | N_rnel_loc_procedure_by_clause__ : Cobol_ptree.procedure_by_clause Cobol_ptree.with_loc list nonterminal
  234. | N_rnel_loc_options_clause__ : Cobol_ptree__.Misc_sections.options_clause Cobol_common.Srcloc.with_loc list nonterminal
  235. | N_rnel_loc_literal__ : [ Cobol_ptree__.Terms.nonnum_ | Cobol_ptree__.Terms.bool_ | Cobol_ptree__.Terms.num_ ] Cobol_ptree__.Terms.term Cobol_ptree.with_loc list nonterminal
  236. | N_rnel_loc_file_or_sort_merge_descr_entry__ : Cobol_ptree.file_descr Cobol_ptree.with_loc list nonterminal
  237. | N_rnel_loc_decl_section_paragraph__ : Cobol_ptree.declarative Cobol_ptree.with_loc list nonterminal
  238. | N_rnel_literal_through_literal_ : Cobol_ptree.condition_name_value list nonterminal
  239. | N_rnel_literal_phrase_ : Cobol_ptree.characters_range list nonterminal
  240. | N_rnel_line_position_ : Cobol_ptree.line_position list nonterminal
  241. | N_rnel_integer_ : string list nonterminal
  242. | N_rnel_ident_or_string_ : [ Cobol_ptree__.Terms.ident_ | Cobol_ptree__.Terms.strlit_ ] Cobol_ptree__.Terms.term list nonterminal
  243. | N_rnel_ident_or_numeric_ : [ Cobol_ptree__.Terms.ident_ | Cobol_ptree__.Terms.num_ ] Cobol_ptree__.Terms.term list nonterminal
  244. | N_rnel_ident_or_nonnumeric_ : Cobol_ptree.ident_or_nonnum list nonterminal
  245. | N_rnel_ident_by_after_before_ : Cobol_ptree.replacing_range_spec list nonterminal
  246. | N_rnel_ident_ : [ Cobol_ptree__.Terms.base_ident_ | Cobol_ptree__.Terms.refmod_ident_ ] Cobol_ptree__.Terms.term list nonterminal
  247. | N_rnel_function_name_ : string Cobol_ptree.with_loc list nonterminal
  248. | N_rnel_file_with_opt_ : Cobol_ptree.named_file_option list nonterminal
  249. | N_rnel_entry_by_clauses_ : Cobol_ptree.entry_by_clause list nonterminal
  250. | N_rnel_debug_target_ : Cobol_ptree.use_for_debugging_target list nonterminal
  251. | N_rnel_column_position_ : Cobol_ptree.column_position list nonterminal
  252. | N_rnel_argument_ : Cobol_ptree.effective_arg list nonterminal
  253. | N_rll_rev_data_division_sentence_2_ : Cobol_parser__.Grammar_utils.data_division_sentence list nonterminal
  254. | N_rl_select_ : Cobol_ptree.file_control_paragraph nonterminal
  255. | N_rl_procedure_name_ : [ Cobol_ptree__.Terms.name_ | Cobol_ptree__.Terms.name Cobol_ptree__.Terms.qual_ ] Cobol_ptree__.Terms.term Cobol_ptree.with_loc list nonterminal
  256. | N_rl_pf_FILE_name__ : string Cobol_ptree.with_loc list nonterminal
  257. | N_rl_name_ : string Cobol_ptree.with_loc list nonterminal
  258. | N_rl_loc_result_imperative_statement__ : (Cobol_ptree.statement Cobol_ptree.with_loc, string Cobol_ptree.with_loc) Stdlib.result list nonterminal
  259. | N_rl_loc_sort_merge_file_descr_clause__ : Cobol_ptree.file_sd_clause Cobol_ptree.with_loc list nonterminal
  260. | N_rl_loc_sentence__ : Cobol_ptree__.Branching_statements.statement Cobol_common.Srcloc.with_loc list Cobol_ptree.with_loc list nonterminal
  261. | N_rl_loc_section_paragraph__ : Cobol_ptree.paragraph Cobol_ptree.with_loc list nonterminal
  262. | N_rl_loc_screen_descr_clause__ : Cobol_ptree.screen_clause Cobol_ptree.with_loc list nonterminal
  263. | N_rl_loc_same_area_clause__ : Cobol_ptree.same_area_clause Cobol_ptree.with_loc list nonterminal
  264. | N_rl_loc_rerun_clause__ : Cobol_ptree.rerun_clause Cobol_ptree.with_loc list nonterminal
  265. | N_rl_loc_report_group_descr_clause__ : Cobol_ptree.report_group_clause Cobol_ptree.with_loc list nonterminal
  266. | N_rl_loc_report_descr_entry__ : Cobol_ptree.report_section nonterminal
  267. | N_rl_loc_report_descr_clause__ : Cobol_ptree.report_clause Cobol_ptree.with_loc list nonterminal
  268. | N_rl_loc_object_computer_clause__ : Cobol_ptree.object_computer_clause Cobol_ptree.with_loc list nonterminal
  269. | N_rl_loc_multiple_file_clause__ : Cobol_ptree.multiple_file_clause Cobol_ptree.with_loc list nonterminal
  270. | N_rl_loc_method_definition__ : Cobol_ptree.method_definitions nonterminal
  271. | N_rl_loc_informational_paragraph__ : (Cobol_ptree__.Misc_sections.informational_paragraph_header * string list Cobol_common.Srcloc.with_loc) Cobol_common.Srcloc.with_loc list nonterminal
  272. | N_rl_loc_file_descr_clause__ : Cobol_ptree.file_fd_clause Cobol_ptree.with_loc list nonterminal
  273. | N_rl_loc_data_descr_clause__ : Cobol_ptree.data_clause Cobol_ptree.with_loc list nonterminal
  274. | N_rl_loc_constant_or_screen_descr_entry__ : Cobol_ptree.screen_section nonterminal
  275. | N_rl_loc_constant_or_report_group_descr_entry__ : Cobol_ptree.report_item_descr Cobol_ptree.with_loc list nonterminal
  276. | N_rl_loc_constant_or_data_descr_entry__ : Cobol_ptree.linkage_section nonterminal
  277. | N_rl_loc_communication_descr_entry__ : Cobol_ptree.communication_section nonterminal
  278. | N_rl_loc_communication_descr_clause__ : Cobol_ptree.comm_clause Cobol_ptree.with_loc list nonterminal
  279. | N_rl_key_is_ : Cobol_ptree.sort_spec list nonterminal
  280. | N_rl_inspect_where_ : Cobol_ptree.inspect_where list nonterminal
  281. | N_rl_entry_name_clause_ : Cobol_ptree.data_name Cobol_ptree.with_loc list nonterminal
  282. | N_rl_data_division_sentence_1_ : Cobol_parser__.Grammar_utils.data_division_sentence list nonterminal
  283. | N_rewrite_statement : Cobol_ptree.statement nonterminal
  284. | N_reversed_or_no_rewind_opt : Cobol_ptree.file_option option nonterminal
  285. | N_returning_or_giving : [ Cobol_ptree__.Terms.base_ident_ | Cobol_ptree__.Terms.refmod_ident_ ] Cobol_ptree__.Terms.term Cobol_ptree.with_loc nonterminal
  286. | N_returning : [ Cobol_ptree__.Terms.base_ident_ | Cobol_ptree__.Terms.refmod_ident_ ] Cobol_ptree__.Terms.term Cobol_ptree.with_loc nonterminal
  287. | N_return_statement : Cobol_ptree.statement nonterminal
  288. | N_retry_phrase : Cobol_ptree.retry_clause nonterminal
  289. | N_resume_statement : Cobol_ptree.resume_stmt nonterminal
  290. | N_reserve_clause : Cobol_ptree.select_clause nonterminal
  291. | N_rerun_frequency : Cobol_ptree.rerun_frequency nonterminal
  292. | N_rerun_clause : Cobol_ptree.rerun_clause nonterminal
  293. | N_repository_paragraph : Cobol_ptree.repository_paragraph nonterminal
  294. | N_report_value_clause : Cobol_ptree.report_group_clause nonterminal
  295. | N_report_type_clause : Cobol_ptree.report_type_clause nonterminal
  296. | N_report_section : Cobol_ptree.report_section Cobol_ptree.with_loc nonterminal
  297. | N_report_screen_usage_clause : Cobol_ptree.report_screen_usage_clause nonterminal
  298. | N_report_occurs_clause : Cobol_ptree.report_group_clause nonterminal
  299. | N_report_line_clause : Cobol_ptree.line_position list nonterminal
  300. | N_report_group_descr_entry : Cobol_ptree.report_group_item nonterminal
  301. | N_report_group_descr_clause : Cobol_ptree.report_group_clause nonterminal
  302. | N_report_descr_entry : Cobol_ptree.report_descr nonterminal
  303. | N_report_descr_clause : Cobol_ptree.report_clause nonterminal
  304. | N_report_data_name_or_final : Cobol_ptree.report_data_name_or_final nonterminal
  305. | N_report_column_clause : Cobol_ptree.report_group_clause nonterminal
  306. | N_report_clause : string Cobol_common.Srcloc.with_loc list nonterminal
  307. | N_replacing_phrase : Cobol_ptree.replacing_clause nonterminal
  308. | N_relop : Cobol_ptree.relop nonterminal
  309. | N_release_statement : Cobol_ptree.statement nonterminal
  310. | N_relative_key_clause : Cobol_ptree.select_clause nonterminal
  311. | N_relation_condition : Cobol_ptree.binary_relation nonterminal
  312. | N_redefines_clause : string Cobol_ptree.with_loc nonterminal
  313. | N_recording_mode_clause : Cobol_ptree.recording_mode nonterminal
  314. | N_recording_mode : Cobol_ptree.recording_mode nonterminal
  315. | N_record_key_clause : Cobol_ptree.select_clause nonterminal
  316. | N_record_delimiter_clause : Cobol_ptree.select_clause nonterminal
  317. | N_record_delimiter : Cobol_ptree.record_delimiter nonterminal
  318. | N_record_clause : Cobol_ptree.record_clause nonterminal
  319. | N_receive_statement : Cobol_ptree.statement nonterminal
  320. | N_read_statement : Cobol_ptree.statement nonterminal
  321. | N_read_direction : Cobol_ptree.read_direction nonterminal
  322. | N_range_expression : Cobol_ptree.selection_object nonterminal
  323. | N_raising_phrase : Cobol_ptree.raising_phrase Cobol_ptree.with_loc list nonterminal
  324. | N_raising_exception : Cobol_ptree.raising nonterminal
  325. | N_raise_statement : Cobol_ptree.raise_operand nonterminal
  326. | N_qualnames : [ Cobol_ptree__.Terms.name_ | Cobol_ptree__.Terms.name Cobol_ptree__.Terms.qual_ ] Cobol_ptree__.Terms.term list nonterminal
  327. | N_qualname_or_literal : [ Cobol_ptree__Terms.qualname_ | Cobol_ptree__Terms.lit_ ] Cobol_ptree__Terms.term nonterminal
  328. | N_qualname_or_integer : [ `Int | `Name | `Qual of string ] Cobol_ptree.term nonterminal
  329. | N_qualname_or_alphanum : [ Cobol_ptree__.Terms.qualname_ | Cobol_ptree__.Terms.alnum_ ] Cobol_ptree__.Terms.term nonterminal
  330. | N_qualname_ : Cobol_ptree.qualname_ Cobol_ptree.term nonterminal
  331. | N_qualified_procedure_name : [ Cobol_ptree__Terms.name_ | Cobol_ptree__Terms.name Cobol_ptree__Terms.qual_ ] Cobol_ptree.term nonterminal
  332. | N_purge_statement : Cobol_ptree.statement nonterminal
  333. | N_property_clause : Cobol_ptree.property_clause nonterminal
  334. | N_prompt_character_clause : Cobol_ptree.inspect_reference option nonterminal
  335. | N_program_prototype_id_paragraph : ([ Cobol_ptree__.Terms.name_ | Cobol_ptree__.Terms.lit_ ] Cobol_ptree__.Terms.term Cobol_ptree.with_loc * [ Cobol_ptree__.Terms.alnum_ | Cobol_ptree__.Terms.national_ ] Cobol_ptree__.Terms.term option) nonterminal
  336. | N_program_prototype : Cobol_ptree.program_unit nonterminal
  337. | N_program_procedure_division : Cobol_ptree.procedure_division nonterminal
  338. | N_program_mode : Cobol_ptree.program_mode nonterminal
  339. | N_program_kind : Cobol_ptree.program_kind nonterminal
  340. | N_program_definition_no_end : Cobol_ptree.program_unit nonterminal
  341. | N_program_definition_identification : ((Cobol_ptree__.Misc_sections.informational_paragraph_header * string list Cobol_common.Srcloc.with_loc) Cobol_common.Srcloc.with_loc list option * (([ Cobol_ptree__.Terms.name_ | Cobol_ptree__.Terms.lit_ ] Cobol_ptree__.Terms.term Cobol_ptree.with_loc * [ Cobol_ptree__.Terms.alnum_ | Cobol_ptree__.Terms.national_ ] Cobol_ptree__.Terms.term option) * Cobol_ptree.program_mode option) * (Cobol_ptree__.Misc_sections.informational_paragraph_header * string list Cobol_common.Srcloc.with_loc) Cobol_common.Srcloc.with_loc list) nonterminal
  342. | N_program_definition_id_paragraph : (([ Cobol_ptree__.Terms.name_ | Cobol_ptree__.Terms.lit_ ] Cobol_ptree__.Terms.term Cobol_ptree.with_loc * [ Cobol_ptree__.Terms.alnum_ | Cobol_ptree__.Terms.national_ ] Cobol_ptree__.Terms.term option) * Cobol_ptree.program_mode option) nonterminal
  343. | N_program_definition : Cobol_ptree.program_unit nonterminal
  344. | N_program_collating_sequence_clause : Cobol_ptree.object_computer_clause nonterminal
  345. | N_procedure_name_decl : string Cobol_ptree.with_loc nonterminal
  346. | N_procedure_name : [ Cobol_ptree__.Terms.name_ | Cobol_ptree__.Terms.name Cobol_ptree__.Terms.qual_ ] Cobol_ptree__.Terms.term Cobol_ptree.with_loc nonterminal
  347. | N_procedure_division_header : unit nonterminal
  348. | N_procedure_division : Cobol_ptree.procedure_division nonterminal
  349. | N_procedure_by_clause : Cobol_ptree.procedure_by_clause nonterminal
  350. | N_procedure_args : Cobol_ptree.procedure_args nonterminal
  351. | N_present_when_clause : [ Cobol_ptree__.Terms.simple_ | Cobol_ptree__.Terms.complex_ ] Cobol_ptree__.Terms.cond nonterminal
  352. | N_position : Cobol_ptree.position nonterminal
  353. | N_plus_or_minus : Cobol_ptree.polarity nonterminal
  354. | N_picture_locale_phrase : Cobol_ptree.locale_phrase nonterminal
  355. | N_picture_clause : Cobol_ptree.picture_clause nonterminal
  356. | N_perform_statement : Cobol_ptree.statement nonterminal
  357. | N_perform_phrase : Cobol_ptree.perform_mode nonterminal
  358. | N_partial_expression : Cobol_ptree.selection_object nonterminal
  359. | N_parens_rnel_ident_or_nonnumeric__ : Cobol_ptree.ident_or_nonnum list nonterminal
  360. | N_parens_locale_func_args_ : Cobol_ptree.locale_func_args nonterminal
  361. | N_parens_formatted_func_args_ : Cobol_ptree.formatted_func_args nonterminal
  362. | N_parens___anonymous_77_ : (Cobol_ptree.inspect_reference * bool) nonterminal
  363. | N_parens___anonymous_76_ : (Cobol_ptree.effective_arg * Cobol_ptree.trimming_tip option) nonterminal
  364. | N_page_line_col : (string option * string option) nonterminal
  365. | N_page_limit_clause : Cobol_ptree.report_clause nonterminal
  366. | N_padding_character_clause : Cobol_ptree.select_clause nonterminal
  367. | N_output_or_giving : Cobol_ptree.merge_or_sort_target nonterminal
  368. | N_organization_clause : Cobol_ptree.select_clause nonterminal
  369. | N_organization : Cobol_ptree.organization nonterminal
  370. | N_order_table_clause : Cobol_ptree.special_names_clause nonterminal
  371. | N_options_paragraph : Cobol_ptree__.Misc_sections.options_clause Cobol_common.Srcloc.with_loc list nonterminal
  372. | N_options_clause : Cobol_ptree.options_clause nonterminal
  373. | N_optional_arguments_list : Cobol_ptree.effective_arg list nonterminal
  374. | N_option_with_test_ : Cobol_ptree.stage option nonterminal
  375. | N_option_unit_name_ : [ Cobol_ptree__.Terms.name_ | Cobol_ptree__.Terms.lit_ ] Cobol_ptree__.Terms.term Cobol_ptree.with_loc option nonterminal
  376. | N_option_trimming_tip_ : Cobol_ptree.trimming_tip option nonterminal
  377. | N_option_stop_run_returning_body_ : Cobol_ptree.stop_run_return option nonterminal
  378. | N_option_step_phrase_ : string option nonterminal
  379. | N_option_signedness_ : Cobol_ptree.signedness option nonterminal
  380. | N_option_sign_ : [ `Strict ] Cobol_ptree__.Terms.sign_cond option nonterminal
  381. | N_option_sharing_phrase_ : Cobol_ptree.sharing_mode option nonterminal
  382. | N_option_scalar_ : [ Cobol_ptree__.Terms.scalar_ident_ | Cobol_ptree__.Terms.refmod_ident_ | Cobol_ptree__.Terms.lit_ | Cobol_ptree__.Terms.arith_value_ ] Cobol_ptree__.Terms.term option nonterminal
  383. | N_option_s_delimited_by_ : Cobol_ptree.string_delimiter option nonterminal
  384. | N_option_returning_or_giving_ : [ Cobol_ptree__.Terms.base_ident_ | Cobol_ptree__.Terms.refmod_ident_ ] Cobol_ptree__.Terms.term Cobol_ptree.with_loc option nonterminal
  385. | N_option_returning_ : [ Cobol_ptree__.Terms.base_ident_ | Cobol_ptree__.Terms.refmod_ident_ ] Cobol_ptree__.Terms.term Cobol_ptree.with_loc option nonterminal
  386. | N_option_retry_phrase_ : Cobol_ptree.retry_clause option nonterminal
  387. | N_option_reference_ : Cobol_ptree.qualname option nonterminal
  388. | N_option_read_direction_ : Cobol_ptree.read_direction option nonterminal
  389. | N_option_raising_exception_ : Cobol_ptree.raising option nonterminal
  390. | N_option_qualident_ : Cobol_ptree.qualident option nonterminal
  391. | N_option_procedure_args_ : Cobol_ptree.procedure_args option nonterminal
  392. | N_option_picture_locale_phrase_ : Cobol_ptree.locale_phrase option nonterminal
  393. | N_option_pf_option_TO__name__ : string Cobol_ptree.with_loc option nonterminal
  394. | N_option_pf_option_IS__name__ : string Cobol_ptree.with_loc option nonterminal
  395. | N_option_pf___anonymous_89_qualname__ : [ Cobol_ptree__.Terms.name_ | Cobol_ptree__.Terms.name Cobol_ptree__.Terms.qual_ ] Cobol_ptree__.Terms.term option nonterminal
  396. | N_option_pf___anonymous_43_property_kind__ : Cobol_ptree.property_kind option nonterminal
  397. | N_option_pf___anonymous_42_integer__ : string option nonterminal
  398. | N_option_pf___anonymous_37_integer__ : string option nonterminal
  399. | N_option_pf___anonymous_36_integer__ : string option nonterminal
  400. | N_option_pf___anonymous_33_integer__ : string option nonterminal
  401. | N_option_pf___anonymous_32_integer__ : string option nonterminal
  402. | N_option_pf___anonymous_31_qualname_or_integer__ : [ Cobol_ptree__.Terms.qualname_ | Cobol_ptree__.Terms.int_ ] Cobol_ptree__.Terms.term option nonterminal
  403. | N_option_pf___anonymous_29_qualname_or_integer__ : [ Cobol_ptree__.Terms.qualname_ | Cobol_ptree__.Terms.int_ ] Cobol_ptree__.Terms.term option nonterminal
  404. | N_option_pf___anonymous_14_string_literal__ : [ Cobol_ptree__.Terms.alnum_ | Cobol_ptree__.Terms.national_ ] Cobol_ptree__.Terms.term option nonterminal
  405. | N_option_pf___anonymous_106_ident__ : [ Cobol_ptree__.Terms.base_ident_ | Cobol_ptree__.Terms.refmod_ident_ ] Cobol_ptree__.Terms.term option nonterminal
  406. | N_option_pf___anonymous_105_ident__ : [ Cobol_ptree__.Terms.base_ident_ | Cobol_ptree__.Terms.refmod_ident_ ] Cobol_ptree__.Terms.term option nonterminal
  407. | N_option_pf_VARYING_ident__ : [ Cobol_ptree__.Terms.base_ident_ | Cobol_ptree__.Terms.refmod_ident_ ] Cobol_ptree__.Terms.term option nonterminal
  408. | N_option_pf_USING_name__ : string Cobol_ptree.with_loc option nonterminal
  409. | N_option_pf_TO_loc_integer___ : string Cobol_ptree.with_loc option nonterminal
  410. | N_option_pf_THROUGH_string_or_int_literal__ : Cobol_ptree.strlit_or_intlit option nonterminal
  411. | N_option_pf_THROUGH_procedure_name__ : [ Cobol_ptree__.Terms.name_ | Cobol_ptree__.Terms.name Cobol_ptree__.Terms.qual_ ] Cobol_ptree__.Terms.term Cobol_ptree.with_loc option nonterminal
  412. | N_option_pf_REMAINDER_ident__ : [ Cobol_ptree__.Terms.base_ident_ | Cobol_ptree__.Terms.refmod_ident_ ] Cobol_ptree__.Terms.term option nonterminal
  413. | N_option_pf_POSITION_integer__ : string option nonterminal
  414. | N_option_pf_ON_name__ : string Cobol_ptree.with_loc option nonterminal
  415. | N_option_pf_INTO_loc_ident___ : [ Cobol_ptree__.Terms.base_ident_ | Cobol_ptree__.Terms.refmod_ident_ ] Cobol_ptree__.Terms.term Cobol_ptree.with_loc option nonterminal
  416. | N_option_pf_INTO_ident__ : [ Cobol_ptree__.Terms.base_ident_ | Cobol_ptree__.Terms.refmod_ident_ ] Cobol_ptree__.Terms.term option nonterminal
  417. | N_option_pf_IN_name__ : string Cobol_ptree.with_loc option nonterminal
  418. | N_option_pf_FROM_loc_integer___ : string Cobol_ptree.with_loc option nonterminal
  419. | N_option_pf_FROM_ident_or_literal__ : [ Cobol_ptree__.Terms.ident_ | Cobol_ptree__.Terms.lit_ ] Cobol_ptree__.Terms.term option nonterminal
  420. | N_option_pf_FROM_expression__ : Cobol_ptree.expression option nonterminal
  421. | N_option_pf_BY_scalar__ : [ Cobol_ptree__.Terms.scalar_ident_ | Cobol_ptree__.Terms.refmod_ident_ | Cobol_ptree__.Terms.lit_ | Cobol_ptree__.Terms.arith_value_ ] Cobol_ptree__.Terms.term option nonterminal
  422. | N_option_pf_BY_expression__ : Cobol_ptree.expression option nonterminal
  423. | N_option_pf_AS_string_literal__ : [ Cobol_ptree__.Terms.alnum_ | Cobol_ptree__.Terms.national_ ] Cobol_ptree__.Terms.term option nonterminal
  424. | N_option_perform_phrase_ : Cobol_ptree.perform_mode option nonterminal
  425. | N_option_pair_rl_procedure_name____anonymous_83__ : ([ Cobol_ptree__.Terms.name_ | Cobol_ptree__.Terms.name Cobol_ptree__.Terms.qual_ ] Cobol_ptree__.Terms.term Cobol_ptree.with_loc list * [ Cobol_ptree__.Terms.base_ident_ | Cobol_ptree__.Terms.refmod_ident_ ] Cobol_ptree__.Terms.term) option nonterminal
  426. | N_option_or__NUMBER_NUMBERS__ : unit option nonterminal
  427. | N_option_or__LINE_LINES__ : unit option nonterminal
  428. | N_option_or__IS_ARE__ : unit option nonterminal
  429. | N_option_or__AREA_AREAS__ : unit option nonterminal
  430. | N_option_object_reference_kind_ : Cobol_ptree.object_reference_kind option nonterminal
  431. | N_option_name_ : string Cobol_ptree.with_loc option nonterminal
  432. | N_option_mr___anonymous_0__ : unit option nonterminal
  433. | N_option_lock_or_retry_ : Cobol_ptree.read_lock_behavior option nonterminal
  434. | N_option_locale_phrase_ : Cobol_ptree.locale option nonterminal
  435. | N_option_loc_special_names_paragraph__ : Cobol_ptree.special_names_paragraph Cobol_ptree.with_loc option nonterminal
  436. | N_option_loc_source_computer_paragraph__ : Cobol_ptree.source_computer_paragraph Cobol_ptree.with_loc option nonterminal
  437. | N_option_loc_repository_paragraph__ : Cobol_ptree.repository_paragraph Cobol_ptree.with_loc option nonterminal
  438. | N_option_loc_program_procedure_division__ : Cobol_ptree.procedure_division Cobol_ptree.with_loc option nonterminal
  439. | N_option_loc_program_definition_no_end__ : Cobol_ptree.program_unit Cobol_ptree.with_loc option nonterminal
  440. | N_option_loc_procedure_division__ : Cobol_ptree.procedure_division Cobol_ptree.with_loc option nonterminal
  441. | N_option_loc_options_paragraph__ : Cobol_ptree__.Misc_sections.options_clause Cobol_common.Srcloc.with_loc list Cobol_ptree.with_loc option nonterminal
  442. | N_option_loc_object_procedure_division__ : Cobol_ptree.method_definitions Cobol_ptree.with_loc option nonterminal
  443. | N_option_loc_object_computer_paragraph__ : Cobol_ptree.object_computer_paragraph Cobol_ptree.with_loc option nonterminal
  444. | N_option_loc_io_control_paragraph__ : Cobol_ptree.io_control_paragraph Cobol_ptree.with_loc option nonterminal
  445. | N_option_loc_instance_definition__ : Cobol_ptree.instance_definition Cobol_ptree.with_loc option nonterminal
  446. | N_option_loc_input_output_section__ : Cobol_ptree.input_output_section Cobol_ptree.with_loc option nonterminal
  447. | N_option_loc_file_control_paragraph__ : Cobol_ptree.file_control_paragraph Cobol_ptree.with_loc option nonterminal
  448. | N_option_loc_expression_no_all__ : Cobol_ptree.expression Cobol_ptree.with_loc option nonterminal
  449. | N_option_loc_environment_division__ : Cobol_ptree.environment_division Cobol_ptree.with_loc option nonterminal
  450. | N_option_loc_control_division__ : unit Cobol_ptree.with_loc option nonterminal
  451. | N_option_loc_configuration_section__ : Cobol_ptree.configuration_section Cobol_ptree.with_loc option nonterminal
  452. | N_option_limit_is__ : unit option option nonterminal
  453. | N_option_io_control_entry_ : Cobol_ptree.io_control_paragraph nonterminal
  454. | N_option_integer_ : string option nonterminal
  455. | N_option_imp_stmts_ : Cobol_ptree.statements option nonterminal
  456. | N_option_goback_returning_ : [ Cobol_ptree__.Terms.ident_ | Cobol_ptree__.Terms.int_ ] Cobol_ptree__.Terms.term Cobol_ptree.with_loc option nonterminal
  457. | N_option_expands_phrase_ : Cobol_ptree.expands option nonterminal
  458. | N_option_entry_name_clause_ : Cobol_ptree.data_name Cobol_ptree.with_loc option nonterminal
  459. | N_option_endianness_mode_ : Cobol_ptree.endianness_mode option nonterminal
  460. | N_option_depending_phrase_ : [ Cobol_ptree__.Terms.name_ | Cobol_ptree__.Terms.name Cobol_ptree__.Terms.qual_ ] Cobol_ptree__.Terms.term Cobol_ptree.with_loc option nonterminal
  461. | N_option_default_section_ : unit option option nonterminal
  462. | N_option_default_display_clause_ : unit option nonterminal
  463. | N_option_default_accept_clause_ : unit option nonterminal
  464. | N_option_collating_sequence_phrase_ : Cobol_ptree.alphabet_specification option nonterminal
  465. | N_option_close_format_ : Cobol_ptree.close_format option nonterminal
  466. | N_option_capacity_phrase_ : string Cobol_ptree.with_loc option nonterminal
  467. | N_option_call_using_by_ : Cobol_ptree.call_using_by option nonterminal
  468. | N_option_advancing_phrase_ : Cobol_ptree.advancing_phrase option nonterminal
  469. | N_option__assign_external__ : unit option nonterminal
  470. | N_option___anonymous_99_ : unit option nonterminal
  471. | N_option___anonymous_84_ : [ Cobol_ptree__.Terms.base_ident_ | Cobol_ptree__.Terms.refmod_ident_ ] Cobol_ptree__.Terms.term option nonterminal
  472. | N_option___anonymous_79_ : unit option nonterminal
  473. | N_option___anonymous_73_ : string option option nonterminal
  474. | N_option___anonymous_72_ : (string option * Cobol_ptree.declarative_use) option nonterminal
  475. | N_option___anonymous_58_ : Cobol_ptree.report_data_name_or_final option nonterminal
  476. | N_option___anonymous_56_ : (Cobol_ptree.report_data_name_or_final * bool) option nonterminal
  477. | N_option___anonymous_38_ : unit option nonterminal
  478. | N_option___anonymous_24_ : [ Cobol_ptree__.Terms.nonnum_ | Cobol_ptree__.Terms.bool_ | Cobol_ptree__.Terms.num_ ] Cobol_ptree__.Terms.term option nonterminal
  479. | N_option___anonymous_23_ : string Cobol_ptree.with_loc option nonterminal
  480. | N_option___anonymous_21_ : [ Cobol_ptree__.Terms.name_ | Cobol_ptree__.Terms.name Cobol_ptree__.Terms.qual_ ] Cobol_ptree__.Terms.term Cobol_ptree.with_loc option nonterminal
  481. | N_option_WITH_ : unit option nonterminal
  482. | N_option_WHEN_ : unit option nonterminal
  483. | N_option_TO_ : unit option nonterminal
  484. | N_option_TIMES_ : unit option nonterminal
  485. | N_option_THEN_ : unit option nonterminal
  486. | N_option_THAN_ : unit option nonterminal
  487. | N_option_TERMINAL_ : unit option nonterminal
  488. | N_option_TAPE_ : unit option nonterminal
  489. | N_option_SYMBOLIC_ : unit option nonterminal
  490. | N_option_STRUCTURE_ : unit option nonterminal
  491. | N_option_STATUS_ : unit option nonterminal
  492. | N_option_SIZE_ : unit option nonterminal
  493. | N_option_SIGN_ : unit option nonterminal
  494. | N_option_SET_ : unit option nonterminal
  495. | N_option_RIGHT_ : unit option nonterminal
  496. | N_option_REFERENCES_ : unit option nonterminal
  497. | N_option_RECORD_ : unit option nonterminal
  498. | N_option_PROGRAM_ : unit option nonterminal
  499. | N_option_PROCEDURE_ : unit option nonterminal
  500. | N_option_PRINTING_ : unit option nonterminal
  501. | N_option_PERIOD_ : unit option nonterminal
  502. | N_option_OTHER_ : unit option nonterminal
  503. | N_option_ORDER_ : unit option nonterminal
  504. | N_option_ON_ : unit option nonterminal
  505. | N_option_OF_ : unit option nonterminal
  506. | N_option_NUMBER_ : unit option nonterminal
  507. | N_option_MODE_ : unit option nonterminal
  508. | N_option_MESSAGE_ : unit option nonterminal
  509. | N_option_LINES_ : unit option nonterminal
  510. | N_option_LINE_ : unit option nonterminal
  511. | N_option_LENGTH_ : unit option nonterminal
  512. | N_option_LEFT_ : unit option nonterminal
  513. | N_option_KEY_ : unit option nonterminal
  514. | N_option_IS_ : unit option nonterminal
  515. | N_option_INITIAL_ : unit option nonterminal
  516. | N_option_INDICATE_ : unit option nonterminal
  517. | N_option_IN_ : unit option nonterminal
  518. | N_option_FUNCTION_ : unit option nonterminal
  519. | N_option_FROM_ : unit option nonterminal
  520. | N_option_FOR_ : unit option nonterminal
  521. | N_option_FILE_ : unit option nonterminal
  522. | N_option_EVERY_ : unit option nonterminal
  523. | N_option_END_ : unit option nonterminal
  524. | N_option_DEFAULT_ : unit option nonterminal
  525. | N_option_DATA_ : unit option nonterminal
  526. | N_option_CONTAINS_ : unit option nonterminal
  527. | N_option_COLLATING_ : unit option nonterminal
  528. | N_option_CHARACTERS_ : unit option nonterminal
  529. | N_option_CHARACTER_ : unit option nonterminal
  530. | N_option_BY_ : unit option nonterminal
  531. | N_option_AT_ : unit option nonterminal
  532. | N_option_AS_ : unit option nonterminal
  533. | N_option_AREA_ : unit option nonterminal
  534. | N_option_ARE_ : unit option nonterminal
  535. | N_option_ALL_ : unit option nonterminal
  536. | N_option_ADVANCING_ : unit option nonterminal
  537. | N_open_statement : Cobol_ptree.statement nonterminal
  538. | N_open_phrase : Cobol_ptree.open_phrase nonterminal
  539. | N_open_mode : Cobol_ptree.open_mode nonterminal
  540. | N_on_overflow : unit nonterminal
  541. | N_on_or_off : Cobol_ptree.on_off nonterminal
  542. | N_on_key : Cobol_ptree.sort_spec nonterminal
  543. | N_on_exception : unit nonterminal
  544. | N_occurs_fixed_clause : Cobol_ptree.data_occurs_clause nonterminal
  545. | N_occurs_dynamic_clause : Cobol_ptree.data_occurs_clause nonterminal
  546. | N_occurs_depending_clause : Cobol_ptree.data_occurs_clause nonterminal
  547. | N_object_view : Cobol_ptree.object_view nonterminal
  548. | N_object_reference_kind : Cobol_ptree.object_reference_kind nonterminal
  549. | N_object_ref : Cobol_ptree.object_ref nonterminal
  550. | N_object_procedure_division : Cobol_ptree.method_definitions nonterminal
  551. | N_object_paragraph : string Cobol_common.Srcloc.with_loc list nonterminal
  552. | N_object_computer_paragraph : Cobol_ptree.object_computer_paragraph nonterminal
  553. | N_object_computer_clause : Cobol_ptree.object_computer_clause nonterminal
  554. | N_numeric_literal : [ Cobol_ptree__Terms.int_ | Cobol_ptree__Terms.fixed_ | Cobol_ptree__Terms.float_ ] Cobol_ptree__Terms.term nonterminal
  555. | N_ntl_name_ : string Cobol_ptree.with_loc list nonterminal
  556. | N_ntl_arithmetic_term_ : Cobol_ptree.expression list nonterminal
  557. | N_nonrel_condition : [ Cobol_ptree__.Terms.simple_ | Cobol_ptree__.Terms.complex_ ] Cobol_ptree__.Terms.cond nonterminal
  558. | N_nonnumeric_literal_no_all : Cobol_ptree.nonnum_ Cobol_ptree.term nonterminal
  559. | N_nonnumeric_literal : Cobol_ptree.nonnumlit nonterminal
  560. | N_nonempty_list_loc_display_clause__ : Cobol_ptree.display_clause Cobol_ptree.with_loc list nonterminal
  561. | N_nonempty_list_loc_accept_clause__ : Cobol_ptree.accept_clause Cobol_ptree.with_loc list nonterminal
  562. | N_nonempty_list_ident_or_literal_ : [ Cobol_ptree__.Terms.ident_ | Cobol_ptree__.Terms.lit_ ] Cobol_ptree__.Terms.term list nonterminal
  563. | N_next_sentence : Cobol_ptree.statement nonterminal
  564. | N_next_group_clause : Cobol_ptree.next_group_clause nonterminal
  565. | N_nell_rev_when_phrase_ : Cobol_ptree.evaluate_branch list nonterminal
  566. | N_nell_rev_source_string_ : Cobol_ptree.string_source list nonterminal
  567. | N_nell_rev_name_ : string Cobol_ptree.with_loc list nonterminal
  568. | N_nell_rev_loc_result_imperative_statement__ : (Cobol_ptree.statement Cobol_ptree.with_loc, string Cobol_ptree.with_loc) Stdlib.result list nonterminal
  569. | N_nell_rev_loc_when_clause__ : Cobol_ptree.search_when_clause Cobol_ptree.with_loc list nonterminal
  570. | N_nell_rev_loc_display_with_clause__ : Cobol_ptree.display_with_clause Cobol_ptree.with_loc list nonterminal
  571. | N_nell_rev_loc_accept_with_clause__ : Cobol_ptree.accept_with_clause Cobol_ptree.with_loc list nonterminal
  572. | N_nell_rev_display_items_clauses_ : Cobol_ptree.display_items_clauses list nonterminal
  573. | N_nell_rev___anonymous_69_ : Cobol_ptree.by_reference list nonterminal
  574. | N_nel__loc_alphanum__ : Cobol_ptree.alphanum Cobol_ptree.with_loc Cobol_ptree.nel nonterminal
  575. | N_nel_when_selection_objects_ : Cobol_ptree.selection_object list list nonterminal
  576. | N_nel_validation_stage_ : Cobol_ptree.validation_stage list nonterminal
  577. | N_nel_use_after_exception_ : Cobol_ptree.use_after_exception list nonterminal
  578. | N_nel_unstring_target_ : Cobol_ptree.unstring_target list nonterminal
  579. | N_nel_sum_phrase_ : Cobol_ptree.sum_phrase list nonterminal
  580. | N_nel_subscript_following_ : Cobol_ptree.subscript list nonterminal
  581. | N_nel_specifier_ : Cobol_ptree.repository_paragraph nonterminal
  582. | N_nel_select_ : Cobol_ptree.file_control_paragraph nonterminal
  583. | N_nel_screen_attribute_on_off_ : Cobol_ptree.set_attribute_switch list nonterminal
  584. | N_nel_rounded_ident_ : Cobol_ptree.rounded_idents nonterminal
  585. | N_nel_qualname_ : [ Cobol_ptree__.Terms.name_ | Cobol_ptree__.Terms.name Cobol_ptree__.Terms.qual_ ] Cobol_ptree__.Terms.term list nonterminal
  586. | N_nel_pf_ALSO_string_or_int_literal__ : [ Cobol_ptree__.Terms.strlit_ | Cobol_ptree__.Terms.int_ ] Cobol_ptree__.Terms.term list nonterminal
  587. | N_nel_open_phrase_ : Cobol_ptree__.Simple_statements.open_phrase list nonterminal
  588. | N_nel_on_key_ : Cobol_ptree.sort_spec list nonterminal
  589. | N_nel_name_or_alphanum_ : [ Cobol_ptree__.Terms.name_ | Cobol_ptree__.Terms.alnum_ ] Cobol_ptree__.Terms.term list nonterminal
  590. | N_nel_name_ : string Cobol_common.Srcloc.with_loc list nonterminal
  591. | N_nel_loc_using_by__ : Cobol_ptree.call_using_clause Cobol_ptree.with_loc list nonterminal
  592. | N_nel_loc_tallying_for__ : Cobol_ptree.tallying_clause Cobol_ptree.with_loc list nonterminal
  593. | N_nel_loc_special_names_clause__ : Cobol_ptree.special_names_paragraph nonterminal
  594. | N_nel_loc_source_destination_clause__ : Cobol_ptree.source_destination_clause Cobol_ptree.with_loc list nonterminal
  595. | N_nel_loc_sentence__ : Cobol_ptree__.Branching_statements.statement Cobol_common.Srcloc.with_loc list Cobol_ptree.with_loc list nonterminal
  596. | N_nel_loc_select_clause__ : Cobol_ptree.select_clause Cobol_ptree.with_loc list nonterminal
  597. | N_nel_loc_section_paragraph__ : Cobol_ptree.paragraph Cobol_ptree.with_loc list nonterminal
  598. | N_nel_loc_screen_attribute_clause__ : Cobol_ptree.screen_attribute_clause Cobol_ptree.with_loc list nonterminal
  599. | N_nel_loc_replacing_phrase__ : Cobol_ptree.replacing list nonterminal
  600. | N_nel_loc_procedure_by_clause__ : Cobol_ptree.procedure_by_clause Cobol_ptree.with_loc list nonterminal
  601. | N_nel_loc_options_clause__ : Cobol_ptree__.Misc_sections.options_clause Cobol_common.Srcloc.with_loc list nonterminal
  602. | N_nel_loc_literal__ : [ Cobol_ptree__.Terms.nonnum_ | Cobol_ptree__.Terms.bool_ | Cobol_ptree__.Terms.num_ ] Cobol_ptree__.Terms.term Cobol_ptree.with_loc list nonterminal
  603. | N_nel_loc_file_or_sort_merge_descr_entry__ : Cobol_ptree.file_descr Cobol_ptree.with_loc list nonterminal
  604. | N_nel_loc_decl_section_paragraph__ : Cobol_ptree.declarative Cobol_ptree.with_loc list nonterminal
  605. | N_nel_loc___anonymous_71__ : Cobol_ptree.raising_phrase Cobol_ptree.with_loc list nonterminal
  606. | N_nel_literal_through_literal_ : Cobol_ptree.condition_name_value list nonterminal
  607. | N_nel_literal_phrase_ : Cobol_ptree.characters_range list nonterminal
  608. | N_nel_line_position_ : Cobol_ptree.line_position list nonterminal
  609. | N_nel_integer_ : string list nonterminal
  610. | N_nel_ident_or_string_ : [ Cobol_ptree__.Terms.ident_ | Cobol_ptree__.Terms.strlit_ ] Cobol_ptree__.Terms.term list nonterminal
  611. | N_nel_ident_or_numeric_ : [ Cobol_ptree__.Terms.ident_ | Cobol_ptree__.Terms.num_ ] Cobol_ptree__.Terms.term list nonterminal
  612. | N_nel_ident_or_nonnumeric_ : Cobol_ptree.ident_or_nonnum list nonterminal
  613. | N_nel_ident_by_after_before_ : Cobol_ptree.replacing_range_spec list nonterminal
  614. | N_nel_ident_ : [ Cobol_ptree__.Terms.base_ident_ | Cobol_ptree__.Terms.refmod_ident_ ] Cobol_ptree__.Terms.term list nonterminal
  615. | N_nel_function_name_ : string Cobol_ptree.with_loc list nonterminal
  616. | N_nel_file_with_opt_ : Cobol_ptree.named_file_option list nonterminal
  617. | N_nel_entry_by_clauses_ : Cobol_ptree.entry_by_clause list nonterminal
  618. | N_nel_debug_target_ : Cobol_ptree.use_for_debugging_target list nonterminal
  619. | N_nel_column_position_ : Cobol_ptree.column_position list nonterminal
  620. | N_nel_argument_ : Cobol_ptree.effective_arg list nonterminal
  621. | N_nel___anonymous_87_ : Cobol_ptree.init_replacing list nonterminal
  622. | N_nel___anonymous_81_ : Cobol_ptree__.Simple_statements.close_phrase list nonterminal
  623. | N_nel___anonymous_49_ : Cobol_ptree.table_data_value list nonterminal
  624. | N_nel___anonymous_47_ : [ Cobol_ptree__.Terms.simple_ | Cobol_ptree__.Terms.complex_ ] Cobol_ptree__.Terms.cond list nonterminal
  625. | N_nel___anonymous_41_ : Cobol_ptree.data_varying list nonterminal
  626. | N_nel___anonymous_28_ : Cobol_ptree.valueof_clause list nonterminal
  627. | N_nel___anonymous_20_ : Cobol_ptree.multiple_file_clause nonterminal
  628. | N_nel___anonymous_16_ : Cobol_ptree.symbolic_characters_map list nonterminal
  629. | N_nel___anonymous_13_ : Cobol_ptree.character_range list nonterminal
  630. | N_names_or_open_mode : Cobol_ptree.use_file_exception_on nonterminal
  631. | N_names : string Cobol_common.Srcloc.with_loc list nonterminal
  632. | N_name_or_string : [ Cobol_ptree__Terms.name_ | Cobol_ptree__Terms.strlit_ ] Cobol_ptree__Terms.term nonterminal
  633. | N_name_or_alphanum : [ `AlphaNum | `Name ] Cobol_ptree.term nonterminal
  634. | N_name : string Cobol_ptree.with_loc nonterminal
  635. | N_multiply_statement : Cobol_ptree.multiply_stmt nonterminal
  636. | N_multiple_file_clause : Cobol_ptree.multiple_file_clause nonterminal
  637. | N_move_statement : Cobol_ptree.statement nonterminal
  638. | N_mnemonic_name_suffix : (string Cobol_ptree.with_loc option * Cobol_ptree.status_switch option) nonterminal
  639. | N_mnemonic_name_clause : Cobol_ptree.special_names_clause nonterminal
  640. | N_midrule___anonymous_88_ : unit nonterminal
  641. | N_midrule___anonymous_78_ : (string Cobol_ptree.with_loc * string Cobol_ptree.with_loc) nonterminal
  642. | N_midrule___anonymous_75_on_overflow_NOT_ON_OVERFLOW__ : (Cobol_ptree.statements * Cobol_ptree.statements) nonterminal
  643. | N_midrule___anonymous_75_on_exception_NOT_ON_EXCEPTION__ : (Cobol_ptree.statements * Cobol_ptree.statements) nonterminal
  644. | N_midrule___anonymous_75_at_eop_NOT_AT_EOP__ : (Cobol_ptree.statements * Cobol_ptree.statements) nonterminal
  645. | N_midrule___anonymous_75_at_end_NOT_AT_END__ : (Cobol_ptree.statements * Cobol_ptree.statements) nonterminal
  646. | N_midrule___anonymous_75_ON_SIZE_ERROR_NOT_ON_SIZE_ERROR__ : (Cobol_ptree.statements * Cobol_ptree.statements) nonterminal
  647. | N_midrule___anonymous_75_INVALID_KEY_NOT_INVALID_KEY__ : (Cobol_ptree.statements * Cobol_ptree.statements) nonterminal
  648. | N_midrule___anonymous_67_ : unit nonterminal
  649. | N_midrule___anonymous_66_ : unit nonterminal
  650. | N_midrule___anonymous_65_ : unit nonterminal
  651. | N_midrule___anonymous_64_ : unit nonterminal
  652. | N_midrule___anonymous_63_ : unit option nonterminal
  653. | N_midrule___anonymous_61_ : unit nonterminal
  654. | N_midrule___anonymous_60_ : unit nonterminal
  655. | N_midrule___anonymous_57_ : unit nonterminal
  656. | N_midrule___anonymous_54_ : unit nonterminal
  657. | N_midrule___anonymous_53_ : unit nonterminal
  658. | N_midrule___anonymous_52_ : unit nonterminal
  659. | N_midrule___anonymous_51_ : unit nonterminal
  660. | N_midrule___anonymous_50_ : unit nonterminal
  661. | N_midrule___anonymous_39_ : Cobol_ptree.sign_position nonterminal
  662. | N_midrule___anonymous_34_ : unit nonterminal
  663. | N_midrule___anonymous_27_ : unit nonterminal
  664. | N_midrule___anonymous_26_ : unit nonterminal
  665. | N_midrule___anonymous_15_ : (string Cobol_ptree.with_loc * string Cobol_ptree.with_loc) nonterminal
  666. | N_midrule___anonymous_0_ : unit nonterminal
  667. | N_method_identification : ((Cobol_ptree__.Misc_sections.informational_paragraph_header * string list Cobol_common.Srcloc.with_loc) Cobol_common.Srcloc.with_loc list option * (string Cobol_ptree.with_loc * Cobol_ptree.method_kind * bool * bool)) nonterminal
  668. | N_method_id_paragraph : (string Cobol_ptree.with_loc * Cobol_ptree.method_kind * bool * bool) nonterminal
  669. | N_method_definition : Cobol_ptree.method_definition nonterminal
  670. | N_message_or_segment : Cobol_ptree.mcs_awaiting_item nonterminal
  671. | N_merge_statement : Cobol_ptree.statement nonterminal
  672. | N_memory_size_unit : Cobol_ptree.memory_size_unit nonterminal
  673. | N_memory_size_clause : Cobol_ptree.object_computer_clause nonterminal
  674. | N_mcs_kind : Cobol_ptree.mcs_kind nonterminal
  675. | N_mcs_command : Cobol_ptree.mcs_command_operands nonterminal
  676. | N_loption_sf_rnel_loc_options_clause___PERIOD__ : Cobol_ptree__.Misc_sections.options_clause Cobol_common.Srcloc.with_loc list nonterminal
  677. | N_loption_pf___anonymous_25_nel_name___ : string Cobol_common.Srcloc.with_loc list nonterminal
  678. | N_loption_pf___anonymous_19_names__ : string Cobol_common.Srcloc.with_loc list nonterminal
  679. | N_loption_pf___anonymous_17_names__ : string Cobol_common.Srcloc.with_loc list nonterminal
  680. | N_loption_pf_USING_rnel_loc_using_by____ : Cobol_ptree.call_using_clause Cobol_ptree.with_loc list nonterminal
  681. | N_loption_pf_UPON_names__ : string Cobol_common.Srcloc.with_loc list nonterminal
  682. | N_loption_pf_ON_rnel_validation_stage___ : Cobol_ptree.validation_stage list nonterminal
  683. | N_loption_indexed_by_ : string Cobol_common.Srcloc.with_loc list nonterminal
  684. | N_loption_declaratives_ : Cobol_ptree.declarative Cobol_ptree.with_loc list nonterminal
  685. | N_loption___anonymous_9_ : string Cobol_common.Srcloc.with_loc list nonterminal
  686. | N_loption___anonymous_8_ : string Cobol_common.Srcloc.with_loc list nonterminal
  687. | N_loption___anonymous_7_ : string Cobol_common.Srcloc.with_loc list nonterminal
  688. | N_loption___anonymous_6_ : string Cobol_common.Srcloc.with_loc list nonterminal
  689. | N_loption___anonymous_5_ : string Cobol_common.Srcloc.with_loc list nonterminal
  690. | N_loption___anonymous_48_ : Cobol_ptree.subscript list nonterminal
  691. | N_loption___anonymous_4_ : string Cobol_common.Srcloc.with_loc list nonterminal
  692. | N_lock_or_retry : Cobol_ptree.read_lock_behavior nonterminal
  693. | N_lock_mode_clause : Cobol_ptree.select_clause nonterminal
  694. | N_lock_mode : Cobol_ptree.lock_mode nonterminal
  695. | N_locale_value_or_ident : Cobol_ptree.set_locale_source nonterminal
  696. | N_locale_phrase : Cobol_ptree.locale nonterminal
  697. | N_locale_or_default : Cobol_ptree.set_locale_target nonterminal
  698. | N_locale_or_ambiguous : [ `Expr of Cobol_ptree.expression | `Locale of Cobol_ptree.set_save_locale ] nonterminal
  699. | N_locale_func_args : Cobol_ptree.locale_func_args nonterminal
  700. | N_locale_clause : Cobol_ptree.special_names_clause nonterminal
  701. | N_locale_category : Cobol_ptree.locale_category nonterminal
  702. | N_local_storage_section : Cobol_ptree.linkage_section Cobol_ptree.with_loc nonterminal
  703. | N_ll_rev_loc_compilation_unit__ : Cobol_ptree.compilation_unit Cobol_ptree.with_loc list nonterminal
  704. | N_ll_rev_data_division_sentence_2_ : Cobol_parser__.Grammar_utils.data_division_sentence list nonterminal
  705. | N_ll_rev_and_clause_ : Cobol_ptree.search_condition list nonterminal
  706. | N_literal_through_literal : Cobol_ptree.condition_name_value nonterminal
  707. | N_literal_phrase : Cobol_ptree.characters_range nonterminal
  708. | N_literal_int_ident : string Cobol_ptree.with_loc nonterminal
  709. | N_literal : [ Cobol_ptree__.Terms.nonnum_ | Cobol_ptree__.Terms.bool_ | Cobol_ptree__.Terms.num_ ] Cobol_ptree__.Terms.term nonterminal
  710. | N_list_select_ : Cobol_ptree.file_control_paragraph nonterminal
  711. | N_list_procedure_name_ : [ Cobol_ptree__.Terms.name_ | Cobol_ptree__.Terms.name Cobol_ptree__.Terms.qual_ ] Cobol_ptree__.Terms.term Cobol_ptree.with_loc list nonterminal
  712. | N_list_pf_FILE_name__ : string Cobol_ptree.with_loc list nonterminal
  713. | N_list_name_ : string Cobol_ptree.with_loc list nonterminal
  714. | N_list_loc_result_imperative_statement__ : (Cobol_ptree.statement Cobol_ptree.with_loc, string Cobol_ptree.with_loc) Stdlib.result list nonterminal
  715. | N_list_loc_sort_merge_file_descr_clause__ : Cobol_ptree.file_sd_clause Cobol_ptree.with_loc list nonterminal
  716. | N_list_loc_sentence__ : Cobol_ptree__.Branching_statements.statement Cobol_common.Srcloc.with_loc list Cobol_ptree.with_loc list nonterminal
  717. | N_list_loc_section_paragraph__ : Cobol_ptree.paragraph Cobol_ptree.with_loc list nonterminal
  718. | N_list_loc_screen_descr_clause__ : Cobol_ptree.screen_clause Cobol_ptree.with_loc list nonterminal
  719. | N_list_loc_same_area_clause__ : Cobol_ptree.same_area_clause Cobol_ptree.with_loc list nonterminal
  720. | N_list_loc_rerun_clause__ : Cobol_ptree.rerun_clause Cobol_ptree.with_loc list nonterminal
  721. | N_list_loc_report_group_descr_clause__ : Cobol_ptree.report_group_clause Cobol_ptree.with_loc list nonterminal
  722. | N_list_loc_report_descr_entry__ : Cobol_ptree.report_section nonterminal
  723. | N_list_loc_report_descr_clause__ : Cobol_ptree.report_clause Cobol_ptree.with_loc list nonterminal
  724. | N_list_loc_program_definition__ : Cobol_ptree.program_unit Cobol_ptree.with_loc list nonterminal
  725. | N_list_loc_object_computer_clause__ : Cobol_ptree.object_computer_clause Cobol_ptree.with_loc list nonterminal
  726. | N_list_loc_multiple_file_clause__ : Cobol_ptree.multiple_file_clause Cobol_ptree.with_loc list nonterminal
  727. | N_list_loc_method_definition__ : Cobol_ptree.method_definitions nonterminal
  728. | N_list_loc_informational_paragraph__ : (Cobol_ptree__.Misc_sections.informational_paragraph_header * string list Cobol_common.Srcloc.with_loc) Cobol_common.Srcloc.with_loc list nonterminal
  729. | N_list_loc_file_descr_clause__ : Cobol_ptree.file_fd_clause Cobol_ptree.with_loc list nonterminal
  730. | N_list_loc_data_descr_clause__ : Cobol_ptree.data_clause Cobol_ptree.with_loc list nonterminal
  731. | N_list_loc_constant_or_screen_descr_entry__ : Cobol_ptree.screen_section nonterminal
  732. | N_list_loc_constant_or_report_group_descr_entry__ : Cobol_ptree.report_item_descr Cobol_ptree.with_loc list nonterminal
  733. | N_list_loc_constant_or_data_descr_entry__ : Cobol_ptree.linkage_section nonterminal
  734. | N_list_loc_communication_descr_entry__ : Cobol_ptree.communication_section nonterminal
  735. | N_list_loc_communication_descr_clause__ : Cobol_ptree.comm_clause Cobol_ptree.with_loc list nonterminal
  736. | N_list_key_is_ : Cobol_ptree.sort_spec list nonterminal
  737. | N_list_inspect_where_ : Cobol_ptree.inspect_where list nonterminal
  738. | N_list_entry_name_clause_ : Cobol_ptree.data_name Cobol_ptree.with_loc list nonterminal
  739. | N_list_data_division_sentence_1_ : Cobol_parser__.Grammar_utils.data_division_sentence list nonterminal
  740. | N_linkage_section : Cobol_ptree.linkage_section Cobol_ptree.with_loc nonterminal
  741. | N_line_position : Cobol_ptree.line_position nonterminal
  742. | N_line_number : [ Cobol_ptree__.Terms.ident_ | Cobol_ptree__.Terms.int_ ] Cobol_ptree__.Terms.term nonterminal
  743. | N_line_header : unit nonterminal
  744. | N_linage_header : [ `Int | `Name | `Qual of string ] Cobol_ptree.term nonterminal
  745. | N_linage_clause : Cobol_ptree.file_linage_clause nonterminal
  746. | N_length_of_expr : [ `Address | `AlphaNum | `Bool | `Counter | `Fixed | `Float | `InlineCall | `InlineInvoke | `Int | `LengthOf | `National | `ObjectRef | `Qual of [ `Ident ] | `RefmodIdent | `RefmodScalarIdent ] Cobol_ptree.term nonterminal
  747. | N_lc_all_or_default : Cobol_ptree.set_save_locale nonterminal
  748. | N_label_clause : Cobol_ptree.label_clause nonterminal
  749. | N_l_pf_AFTER_loc_varying_phrase___ : Cobol_ptree.varying_phrase Cobol_ptree.with_loc list nonterminal
  750. | N_l_loc___anonymous_80__ : Cobol_ptree__.Simple_statements.alter_operands Cobol_common.Srcloc.with_loc list nonterminal
  751. | N_l___anonymous_104_ : Cobol_ptree.unstring_delimiter list nonterminal
  752. | N_key_is : Cobol_ptree.sort_spec nonterminal
  753. | N_justified_clause : unit option nonterminal
  754. | N_io_control_paragraph : Cobol_ptree.io_control_paragraph nonterminal
  755. | N_io_control_entry : Cobol_ptree.io_control_entry nonterminal
  756. | N_invoke_statement : Cobol_ptree.statement nonterminal
  757. | N_invalid_when_clause : [ Cobol_ptree__.Terms.simple_ | Cobol_ptree__.Terms.complex_ ] Cobol_ptree__.Terms.cond list nonterminal
  758. | N_intermediate_rounding_clause : Cobol_ptree.options_clause nonterminal
  759. | N_interface_specifier : Cobol_ptree.specifier nonterminal
  760. | N_interface_identification : ((Cobol_ptree__.Misc_sections.informational_paragraph_header * string list Cobol_common.Srcloc.with_loc) Cobol_common.Srcloc.with_loc list option * ([ Cobol_ptree__.Terms.name_ | Cobol_ptree__.Terms.lit_ ] Cobol_ptree__.Terms.term Cobol_ptree.with_loc * [ Cobol_ptree__.Terms.alnum_ | Cobol_ptree__.Terms.national_ ] Cobol_ptree__.Terms.term option * string Cobol_common.Srcloc.with_loc list * string Cobol_common.Srcloc.with_loc list)) nonterminal
  761. | N_interface_id_paragraph : ([ Cobol_ptree__.Terms.name_ | Cobol_ptree__.Terms.lit_ ] Cobol_ptree__.Terms.term Cobol_ptree.with_loc * [ Cobol_ptree__.Terms.alnum_ | Cobol_ptree__.Terms.national_ ] Cobol_ptree__.Terms.term option * string Cobol_common.Srcloc.with_loc list * string Cobol_common.Srcloc.with_loc list) nonterminal
  762. | N_interface_definition : Cobol_ptree.interface_definition nonterminal
  763. | N_integers : string list nonterminal
  764. | N_integer : string nonterminal
  765. | N_instance_identification : ((Cobol_ptree__.Misc_sections.informational_paragraph_header * string list Cobol_common.Srcloc.with_loc) Cobol_common.Srcloc.with_loc list option * string Cobol_common.Srcloc.with_loc list) nonterminal
  766. | N_instance_definition : Cobol_ptree.instance_definition nonterminal
  767. | N_inspect_where : Cobol_ptree.inspect_where nonterminal
  768. | N_inspect_statement : Cobol_ptree.statement nonterminal
  769. | N_inspect_spec : Cobol_ptree.inspect_spec nonterminal
  770. | N_input_output_section : Cobol_ptree.input_output_section nonterminal
  771. | N_input_or_using : Cobol_ptree.sort_source nonterminal
  772. | N_inline_invocation : Cobol_ptree.inline_invocation nonterminal
  773. | N_initiate_statement : Cobol_ptree.statement nonterminal
  774. | N_initialize_statement : Cobol_ptree.statement nonterminal
  775. | N_init_data_category : Cobol_ptree.init_data_category nonterminal
  776. | N_infoword_or_literal : [ Cobol_ptree__.Terms.name_ | Cobol_ptree__.Terms.lit_ ] Cobol_ptree__.Terms.term nonterminal
  777. | N_informational_paragraph : (Cobol_ptree__Misc_sections.informational_paragraph_header * string list Cobol_common.Srcloc.with_loc) nonterminal
  778. | N_info_word : string nonterminal
  779. | N_indexed_by : string Cobol_common.Srcloc.with_loc list nonterminal
  780. | N_in_of : unit nonterminal
  781. | N_imperative_statement : (Cobol_ptree.statement, string) Stdlib.result nonterminal
  782. | N_imp_stmts : Cobol_ptree.statements nonterminal
  783. | N_if_statement_explicit_term : Cobol_ptree.statement nonterminal
  784. | N_if_statement : Cobol_ptree.statement nonterminal
  785. | N_if_body : (Cobol_ptree.statements * Cobol_ptree.statements) nonterminal
  786. | N_idents : [ Cobol_ptree__.Terms.base_ident_ | Cobol_ptree__.Terms.refmod_ident_ ] Cobol_ptree__.Terms.term list nonterminal
  787. | N_ident_or_string_no_all : [ Cobol_ptree__.Terms.ident_ | Cobol_ptree__.Terms.strlit_ ] Cobol_ptree__.Terms.term nonterminal
  788. | N_ident_or_string : [ Cobol_ptree__.Terms.ident_ | Cobol_ptree__.Terms.strlit_ ] Cobol_ptree__.Terms.term nonterminal
  789. | N_ident_or_numeric : [ Cobol_ptree__.Terms.ident_ | Cobol_ptree__.Terms.num_ ] Cobol_ptree__.Terms.term nonterminal
  790. | N_ident_or_nonnumeric_no_all : Cobol_ptree.inspect_reference nonterminal
  791. | N_ident_or_nonnumeric : Cobol_ptree.inspect_reference nonterminal
  792. | N_ident_or_nested : Cobol_ptree.call_proto nonterminal
  793. | N_ident_or_literal : [ `Address | `AlphaNum | `Bool | `Counter | `Fixed | `Float | `InlineCall | `InlineInvoke | `Int | `National | `ObjectRef | `ObjectView | `Qual of [ `Ident ] | `RefmodIdent | `RefmodScalarIdent ] Cobol_ptree.term nonterminal
  794. | N_ident_or_integer : [ Cobol_ptree__.Terms.ident_ | Cobol_ptree__.Terms.int_ ] Cobol_ptree__.Terms.term nonterminal
  795. | N_ident_or_alphanum : [ Cobol_ptree__.Terms.ident_ | Cobol_ptree__.Terms.alnum_ ] Cobol_ptree__.Terms.term nonterminal
  796. | N_ident_by_after_before : Cobol_ptree.replacing_range_spec nonterminal
  797. | N_ident_after_before_list : Cobol_ptree.tallying_spec list nonterminal
  798. | N_ident_after_before : Cobol_ptree.tallying_spec nonterminal
  799. | N_ident : [ Cobol_ptree__.Terms.base_ident_ | Cobol_ptree__.Terms.refmod_ident_ ] Cobol_ptree__.Terms.term nonterminal
  800. | N_group_usage_clause : Cobol_ptree.group_usage_clause nonterminal
  801. | N_group_indicate_clause : unit option nonterminal
  802. | N_goback_statement : Cobol_ptree.statement nonterminal
  803. | N_goback_returning : [ Cobol_ptree__.Terms.ident_ | Cobol_ptree__.Terms.int_ ] Cobol_ptree__.Terms.term Cobol_ptree.with_loc nonterminal
  804. | N_go_to_statement : Cobol_ptree.statement nonterminal
  805. | N_global_clause : unit nonterminal
  806. | N_generate_statement : Cobol_ptree.statement nonterminal
  807. | N_function_unit : Cobol_ptree.function_unit nonterminal
  808. | N_function_specifier : Cobol_ptree.specifier nonterminal
  809. | N_function_name : string Cobol_ptree.with_loc nonterminal
  810. | N_function_identification : ((Cobol_ptree__.Misc_sections.informational_paragraph_header * string list Cobol_common.Srcloc.with_loc) Cobol_common.Srcloc.with_loc list option * ([ Cobol_ptree__.Terms.name_ | Cobol_ptree__.Terms.lit_ ] Cobol_ptree__.Terms.term Cobol_ptree.with_loc * [ Cobol_ptree__.Terms.alnum_ | Cobol_ptree__.Terms.national_ ] Cobol_ptree__.Terms.term option * bool)) nonterminal
  811. | N_function_id_paragraph : ([ Cobol_ptree__.Terms.name_ | Cobol_ptree__.Terms.lit_ ] Cobol_ptree__.Terms.term Cobol_ptree.with_loc * [ Cobol_ptree__.Terms.alnum_ | Cobol_ptree__.Terms.national_ ] Cobol_ptree__.Terms.term option * bool) nonterminal
  812. | N_from_to_characters_opt : (string option * string option) nonterminal
  813. | N_free_statement : Cobol_ptree.statement nonterminal
  814. | N_formatted_func_args : Cobol_ptree.formatted_func_args nonterminal
  815. | N_format_clause : Cobol_ptree.file_fd_clause nonterminal
  816. | N_for_alphanumeric_or_national_opt : Cobol_ptree.character_category nonterminal
  817. | N_floatlit : Cobol_ptree.floating nonterminal
  818. | N_float_decimal_clause : Cobol_ptree.options_clause nonterminal
  819. | N_float_content : Cobol_ptree.float_content nonterminal
  820. | N_float_binary_clause : Cobol_ptree.options_clause nonterminal
  821. | N_flat_combination_operand : Cobol_ptree.flat_combined_relation nonterminal
  822. | N_fixedlit : Cobol_ptree.fixed nonterminal
  823. | N_file_with_opt : Cobol_ptree.named_file_option nonterminal
  824. | N_file_status_clause : Cobol_ptree.select_clause nonterminal
  825. | N_file_or_sort_merge_descr_entry : Cobol_ptree.file_descr nonterminal
  826. | N_file_descr_clause : Cobol_ptree.file_fd_clause nonterminal
  827. | N_file_control_paragraph : Cobol_ptree.file_control_paragraph nonterminal
  828. | N_figurative_constant : Cobol_ptree.nonnum_ Cobol_ptree.figurative nonterminal
  829. | N_factory_paragraph : string Cobol_common.Srcloc.with_loc list nonterminal
  830. | N_factory_identification : ((Cobol_ptree__.Misc_sections.informational_paragraph_header * string list Cobol_common.Srcloc.with_loc) Cobol_common.Srcloc.with_loc list option * string Cobol_common.Srcloc.with_loc list) nonterminal
  831. | N_factory_definition : Cobol_ptree.factory_definition nonterminal
  832. | N_factor__unary__atomic_no_all_atomic_no_all__ : Cobol_ptree.expression nonterminal
  833. | N_factor__unary__atomic_atomic__ : Cobol_ptree.expression nonterminal
  834. | N_factor__atomic_no_leftmost_length_ : Cobol_ptree.expression nonterminal
  835. | N_factor__atomic_no_all_ : Cobol_ptree.expression nonterminal
  836. | N_external_clause : [ Cobol_ptree__.Terms.alnum_ | Cobol_ptree__.Terms.national_ ] Cobol_ptree__.Terms.term option nonterminal
  837. | N_extended_condition : [ Cobol_ptree__.Terms.simple_ | Cobol_ptree__.Terms.complex_ ] Cobol_ptree__.Terms.cond nonterminal
  838. | N_expression_no_leftmost_length : Cobol_ptree.expression nonterminal
  839. | N_expression : Cobol_ptree.expression nonterminal
  840. | N_expr__term__factor__atomic_no_leftmost_length__factor_atomic_atomic___term_atomic__ : Cobol_ptree.expression nonterminal
  841. | N_expr__term__factor__atomic_no_all__factor_atomic_atomic___term_atomic__ : Cobol_ptree.expression nonterminal
  842. | N_expr__term_atomic_no_all__term_atomic_no_all__ : Cobol_ptree.expression nonterminal
  843. | N_expr__term_atomic__term_atomic__ : Cobol_ptree.expression nonterminal
  844. | N_expands_phrase : Cobol_ptree.expands nonterminal
  845. | N_exit_statement : Cobol_ptree.statement nonterminal
  846. | N_exit_spec : Cobol_ptree.exit_stmt nonterminal
  847. | N_exec_block : Cobol_ptree.statement nonterminal
  848. | N_evaluate_statement : Cobol_ptree.statement nonterminal
  849. | N_error_or_no_error : Cobol_ptree.validate_when nonterminal
  850. | N_erase_clause : Cobol_ptree.erase_clause nonterminal
  851. | N_environment_division : Cobol_ptree.environment_division nonterminal
  852. | N_entry_statement : Cobol_ptree.statement nonterminal
  853. | N_entry_name_clause : Cobol_ptree.data_name Cobol_ptree.with_loc nonterminal
  854. | N_entry_convention_clause : Cobol_ptree.options_clause nonterminal
  855. | N_entry_by_clauses : Cobol_ptree.entry_by_clause nonterminal
  856. | N_entry_body : Cobol_ptree.entry_stmt nonterminal
  857. | N_enter_statement : Cobol_ptree.statement nonterminal
  858. | N_ending_indicator : Cobol_ptree.message_ending_indicator nonterminal
  859. | N_endianness_mode_ : Cobol_ptree.endianness_mode option nonterminal
  860. | N_endianness_mode : Cobol_ptree.endianness_mode nonterminal
  861. | N_end_subtract : unit nonterminal
  862. | N_end_multiply : unit nonterminal
  863. | N_end_divide : unit nonterminal
  864. | N_end_display : unit nonterminal
  865. | N_end_add : unit nonterminal
  866. | N_end_accept : unit nonterminal
  867. | N_encoding_mode : Cobol_ptree.encoding_mode nonterminal
  868. | N_encoding_endianness_opt : Cobol_ptree.encoding_endianness nonterminal
  869. | N_encoding_endianness : Cobol_ptree.encoding_endianness nonterminal
  870. | N_enable_statement : Cobol_ptree.statement nonterminal
  871. | N_elementary_string_or_int_literal : Cobol_ptree.strlit_or_intlit nonterminal
  872. | N_elementary_nonnumeric_literal : Cobol_ptree.nonnum_ Cobol_ptree.term nonterminal
  873. | N_dynamic_length_structure_clause : Cobol_ptree.special_names_clause nonterminal
  874. | N_dynamic_length_clause : Cobol_ptree.data_clause nonterminal
  875. | N_divide_statement : Cobol_ptree.divide_stmt nonterminal
  876. | N_display_with_clause : Cobol_ptree.display_with_clause nonterminal
  877. | N_display_statement : Cobol_ptree.display_stmt nonterminal
  878. | N_display_items_clauses_list : Cobol_ptree.display_items_clauses list nonterminal
  879. | N_display_items_clauses : Cobol_ptree.display_items_clauses nonterminal
  880. | N_display_device_mnemonic : Cobol_ptree.display_device_mnemonic nonterminal
  881. | N_display_clause : Cobol_ptree.display_clause nonterminal
  882. | N_disable_statement : Cobol_ptree.statement nonterminal
  883. | N_destination_clause : [ Cobol_ptree__.Terms.base_ident_ | Cobol_ptree__.Terms.refmod_ident_ ] Cobol_ptree__.Terms.term list nonterminal
  884. | N_depending_phrase : [ Cobol_ptree__.Terms.name_ | Cobol_ptree__.Terms.name Cobol_ptree__.Terms.qual_ ] Cobol_ptree__.Terms.term Cobol_ptree.with_loc nonterminal
  885. | N_delete_statement : Cobol_ptree.statement nonterminal
  886. | N_default_section_clauses : unit option nonterminal
  887. | N_default_section : unit option nonterminal
  888. | N_default_display_clause : unit nonterminal
  889. | N_default_clause : [ Cobol_ptree__.Terms.ident_ | Cobol_ptree__.Terms.lit_ ] Cobol_ptree__.Terms.term option nonterminal
  890. | N_default_accept_clause : unit nonterminal
  891. | N_declaratives : Cobol_ptree.declarative Cobol_ptree.with_loc list nonterminal
  892. | N_decl_section_paragraph : Cobol_ptree.declarative nonterminal
  893. | N_decimal_point_clause : Cobol_ptree.special_names_clause nonterminal
  894. | N_debug_target : Cobol_ptree.use_for_debugging_target nonterminal
  895. | N_date_day_time : Cobol_ptree.date_time nonterminal
  896. | N_data_value_clause : Cobol_ptree.data_value_clause nonterminal
  897. | N_data_type_clause : string Cobol_ptree.with_loc nonterminal
  898. | N_data_occurs_clause : Cobol_ptree.data_occurs_clause nonterminal
  899. | N_data_division_sentence_2 : Cobol_parser__.Grammar_utils.data_division_sentence nonterminal
  900. | N_data_division_sentence_1 : Cobol_parser__.Grammar_utils.data_division_sentence nonterminal
  901. | N_data_division : Cobol_parser__.Grammar_utils.data_division_sentence list nonterminal
  902. | N_data_descr_entry : Cobol_ptree.data_item nonterminal
  903. | N_data_descr_clause : Cobol_ptree.data_clause nonterminal
  904. | N_data_clause : string Cobol_common.Srcloc.with_loc list nonterminal
  905. | N_cursor_clause : Cobol_ptree.special_names_clause nonterminal
  906. | N_currency_sign_clause : Cobol_ptree.special_names_clause nonterminal
  907. | N_cs_national : string Cobol_ptree.with_loc nonterminal
  908. | N_cs_alphanumeric : string Cobol_ptree.with_loc nonterminal
  909. | N_crt_status_clause : Cobol_ptree.special_names_clause nonterminal
  910. | N_counter_kind : Cobol_ptree.counter_kind nonterminal
  911. | N_counter : Cobol_ptree.counter nonterminal
  912. | N_control_division : unit nonterminal
  913. | N_control_clause : Cobol_ptree.report_clause nonterminal
  914. | N_continue_statement : Cobol_ptree.statement nonterminal
  915. | N_constant_value_length : (bool * [ `ByteLength | `Length ]) nonterminal
  916. | N_constant_spec : (bool * Cobol_ptree.constant_value Cobol_ptree.with_loc) nonterminal
  917. | N_constant_record_clause : unit nonterminal
  918. | N_constant_or_screen_descr_entry : [ `const | `screen ] Cobol_ptree.item_descr nonterminal
  919. | N_constant_or_report_group_descr_entry : Cobol_ptree.report_item_descr nonterminal
  920. | N_constant_or_data_descr_entry : [ `condition_name | `const | `data | `exec | `rename ] Cobol_ptree.item_descr nonterminal
  921. | N_constant : Cobol_ptree.constant_item nonterminal
  922. | N_configuration_section : Cobol_ptree.configuration_section nonterminal
  923. | N_condition_level : int Cobol_ptree.with_loc nonterminal
  924. | N_condition : [ Cobol_ptree__.Terms.simple_ | Cobol_ptree__.Terms.complex_ ] Cobol_ptree__.Terms.cond nonterminal
  925. | N_compute_statement : Cobol_ptree.statement nonterminal
  926. | N_complex_condition : [ Cobol_ptree__.Terms.simple_ | Cobol_ptree__.Terms.complex_ ] Cobol_ptree__.Terms.cond nonterminal
  927. | N_compilation_unit : Cobol_ptree.compilation_unit nonterminal
  928. | N_compilation_group : Cobol_ptree.compilation_group nonterminal
  929. | N_communication_section : Cobol_ptree.communication_section Cobol_ptree.with_loc nonterminal
  930. | N_communication_descr_entry : Cobol_ptree.communication_descr nonterminal
  931. | N_communication_descr_clause : Cobol_ptree.comm_clause nonterminal
  932. | N_comment_entry : Cobol_ptree.comment_entry nonterminal
  933. | N_column_position : Cobol_ptree.column_position nonterminal
  934. | N_column_number : [ Cobol_ptree__.Terms.ident_ | Cobol_ptree__.Terms.int_ ] Cobol_ptree__.Terms.term nonterminal
  935. | N_column_header : Cobol_ptree.alignment nonterminal
  936. | N_collating_sequence_phrase : Cobol_ptree.alphabet_specification nonterminal
  937. | N_collating_sequence_clause : Cobol_ptree.select_clause nonterminal
  938. | N_code_set_clause : Cobol_ptree.alphabet_specification nonterminal
  939. | N_code_clause : Cobol_ptree.report_clause nonterminal
  940. | N_close_statement : Cobol_ptree.statement nonterminal
  941. | N_close_format : Cobol_ptree.close_format nonterminal
  942. | N_class_specifier : Cobol_ptree.specifier nonterminal
  943. | N_class_name_clause : Cobol_ptree.special_names_clause nonterminal
  944. | N_class_identification : ((Cobol_ptree__.Misc_sections.informational_paragraph_header * string list Cobol_common.Srcloc.with_loc) Cobol_common.Srcloc.with_loc list option * ([ Cobol_ptree__.Terms.name_ | Cobol_ptree__.Terms.lit_ ] Cobol_ptree__.Terms.term Cobol_ptree.with_loc * [ Cobol_ptree__.Terms.alnum_ | Cobol_ptree__.Terms.national_ ] Cobol_ptree__.Terms.term option * bool * string Cobol_common.Srcloc.with_loc list * string Cobol_common.Srcloc.with_loc list)) nonterminal
  945. | N_class_id_paragraph : ([ Cobol_ptree__.Terms.name_ | Cobol_ptree__.Terms.lit_ ] Cobol_ptree__.Terms.term Cobol_ptree.with_loc * [ Cobol_ptree__.Terms.alnum_ | Cobol_ptree__.Terms.national_ ] Cobol_ptree__.Terms.term option * bool * string Cobol_common.Srcloc.with_loc list * string Cobol_common.Srcloc.with_loc list) nonterminal
  946. | N_class_definition : Cobol_ptree.class_definition nonterminal
  947. | N_class_condition_no_ident : Cobol_ptree.class_ nonterminal
  948. | N_class_condition : Cobol_ptree.class_ nonterminal
  949. | N_class_clause : Cobol_ptree.class_clause nonterminal
  950. | N_class_ : Cobol_ptree.class_clause nonterminal
  951. | N_character_set : Cobol_ptree.character_set nonterminal
  952. | N_character_classification_clause : Cobol_ptree.object_computer_clause nonterminal
  953. | N_character_classification : (Cobol_ptree.locale option * Cobol_ptree.locale option) nonterminal
  954. | N_cc_national : Cobol_ptree.locale nonterminal
  955. | N_cc_alphanumeric : Cobol_ptree.locale nonterminal
  956. | N_category_to_value : Cobol_ptree.init_category nonterminal
  957. | N_capacity_phrase : string Cobol_ptree.with_loc nonterminal
  958. | N_cancel_statement : Cobol_ptree.statement nonterminal
  959. | N_call_using_by : Cobol_ptree.call_using_by nonterminal
  960. | N_call_statement : Cobol_ptree.statement nonterminal
  961. | N_call_prefix : Cobol_ptree.call_prefix nonterminal
  962. | N_boption_or__RECORD_RECORDS__ : bool nonterminal
  963. | N_boption_or__LINE_LINES__ : bool nonterminal
  964. | N_boption___anonymous_90_ : bool nonterminal
  965. | N_boption___anonymous_82_ : bool nonterminal
  966. | N_boption___anonymous_70_ : bool nonterminal
  967. | N_boption___anonymous_59_ : bool nonterminal
  968. | N_boption___anonymous_55_ : bool nonterminal
  969. | N_boption___anonymous_46_ : bool nonterminal
  970. | N_boption___anonymous_45_ : bool nonterminal
  971. | N_boption___anonymous_44_ : bool nonterminal
  972. | N_boption___anonymous_40_ : bool nonterminal
  973. | N_boption___anonymous_3_ : bool nonterminal
  974. | N_boption___anonymous_12_ : bool nonterminal
  975. | N_boption___anonymous_11_ : bool nonterminal
  976. | N_boption___anonymous_107_ : bool nonterminal
  977. | N_boption___anonymous_10_ : bool nonterminal
  978. | N_boption_YYYYMMDD_ : bool nonterminal
  979. | N_boption_YYYYDDD_ : bool nonterminal
  980. | N_boption_WITH_NO_ADVANCING_ : bool nonterminal
  981. | N_boption_SYSTEM_OFFSET_ : bool nonterminal
  982. | N_boption_STRONG_ : bool nonterminal
  983. | N_boption_STATIC_ : bool nonterminal
  984. | N_boption_SIGNED_ : bool nonterminal
  985. | N_boption_SHORT_ : bool nonterminal
  986. | N_boption_PHYSICAL_ : bool nonterminal
  987. | N_boption_OVERRIDE_ : bool nonterminal
  988. | N_boption_OPTIONAL_ : bool nonterminal
  989. | N_boption_ONLY_ : bool nonterminal
  990. | N_boption_NOT_ : bool nonterminal
  991. | N_boption_MULTIPLE_ : bool nonterminal
  992. | N_boption_IN_ARITHMETIC_RANGE_ : bool nonterminal
  993. | N_boption_INITIALIZED_ : bool nonterminal
  994. | N_boption_INITIAL_ : bool nonterminal
  995. | N_boption_GLOBAL_ : bool nonterminal
  996. | N_boption_CYCLE_ : bool nonterminal
  997. | N_boption_ALL_ : bool nonterminal
  998. | N_boollit : bool nonterminal
  999. | N_block_contains_clause : Cobol_ptree.file_fd_clause nonterminal
  1000. | N_blank_when_zero_clause : unit nonterminal
  1001. | N_blank_clause : Cobol_ptree.blank_clause nonterminal
  1002. | N_based_clause : unit nonterminal
  1003. | N_atomic_no_leftmost_length : Cobol_ptree.expression nonterminal
  1004. | N_atomic_no_all : Cobol_ptree.expression nonterminal
  1005. | N_atomic__arithmetic_term_no_length_expression_ : Cobol_ptree.expression nonterminal
  1006. | N_atomic__arithmetic_term_no_all_expression_no_all_ : Cobol_ptree.expression nonterminal
  1007. | N_atomic__arithmetic_term_expression_ : Cobol_ptree.expression nonterminal
  1008. | N_atomic : Cobol_ptree.expression nonterminal
  1009. | N_at_position : Cobol_ptree.position nonterminal
  1010. | N_at_eop : unit nonterminal
  1011. | N_at_end : unit nonterminal
  1012. | N_assign_clause : Cobol_ptree.select_clause nonterminal
  1013. | N_as__strlit_ : [ Cobol_ptree__.Terms.alnum_ | Cobol_ptree__.Terms.national_ ] Cobol_ptree__.Terms.term option nonterminal
  1014. | N_arithmetic_term_no_length : Cobol_ptree.expression nonterminal
  1015. | N_arithmetic_term_no_all : Cobol_ptree.expression nonterminal
  1016. | N_arithmetic_term : Cobol_ptree.expression nonterminal
  1017. | N_arithmetic_mode : Cobol_ptree.arithmetic_mode nonterminal
  1018. | N_arithmetic_clause : Cobol_ptree.options_clause nonterminal
  1019. | N_argument : Cobol_ptree.effective_arg nonterminal
  1020. | N_area_source : Cobol_ptree.area_source nonterminal
  1021. | N_any_permut4_nullable_loc_source_computer_paragraph__loc_object_computer_paragraph__loc_special_names_paragraph__loc_repository_paragraph__ : (Cobol_ptree.source_computer_paragraph Cobol_ptree.with_loc option * Cobol_ptree.object_computer_paragraph Cobol_ptree.with_loc option * Cobol_ptree.special_names_paragraph Cobol_ptree.with_loc option * Cobol_ptree.repository_paragraph Cobol_ptree.with_loc option * (Cobol_ptree__Common.quartet_head * (Cobol_ptree__Common.trio_head * Cobol_ptree__Common.permutation_duo))) nonterminal
  1022. | N_any_permut4_loc_source_computer_paragraph__loc_object_computer_paragraph__loc_special_names_paragraph__loc_repository_paragraph__ : (Cobol_ptree.source_computer_paragraph Cobol_ptree.with_loc option * Cobol_ptree.object_computer_paragraph Cobol_ptree.with_loc option * Cobol_ptree.special_names_paragraph Cobol_ptree.with_loc option * Cobol_ptree.repository_paragraph Cobol_ptree.with_loc option * (Cobol_ptree__Common.quartet_head * (Cobol_ptree__Common.trio_head * Cobol_ptree__Common.permutation_duo))) nonterminal
  1023. | N_any_permut3_nullable_loc_source_computer_paragraph__loc_special_names_paragraph__loc_repository_paragraph__ : (Cobol_ptree.source_computer_paragraph Cobol_ptree.with_loc option * Cobol_ptree.special_names_paragraph Cobol_ptree.with_loc option * Cobol_ptree.repository_paragraph Cobol_ptree.with_loc option * Cobol_ptree.permutation_trio) nonterminal
  1024. | N_any_permut3_nullable_loc_source_computer_paragraph__loc_object_computer_paragraph__loc_special_names_paragraph__ : (Cobol_ptree.source_computer_paragraph Cobol_ptree.with_loc option * Cobol_ptree.object_computer_paragraph Cobol_ptree.with_loc option * Cobol_ptree.special_names_paragraph Cobol_ptree.with_loc option * Cobol_ptree.permutation_trio) nonterminal
  1025. | N_any_permut3_nullable_loc_source_computer_paragraph__loc_object_computer_paragraph__loc_repository_paragraph__ : (Cobol_ptree.source_computer_paragraph Cobol_ptree.with_loc option * Cobol_ptree.object_computer_paragraph Cobol_ptree.with_loc option * Cobol_ptree.repository_paragraph Cobol_ptree.with_loc option * Cobol_ptree.permutation_trio) nonterminal
  1026. | N_any_permut3_nullable_loc_object_computer_paragraph__loc_special_names_paragraph__loc_repository_paragraph__ : (Cobol_ptree.object_computer_paragraph Cobol_ptree.with_loc option * Cobol_ptree.special_names_paragraph Cobol_ptree.with_loc option * Cobol_ptree.repository_paragraph Cobol_ptree.with_loc option * Cobol_ptree.permutation_trio) nonterminal
  1027. | N_any_permut3_loc_source_computer_paragraph__loc_special_names_paragraph__loc_repository_paragraph__ : (Cobol_ptree.source_computer_paragraph Cobol_ptree.with_loc option * Cobol_ptree.special_names_paragraph Cobol_ptree.with_loc option * Cobol_ptree.repository_paragraph Cobol_ptree.with_loc option * Cobol_ptree.permutation_trio) nonterminal
  1028. | N_any_permut3_loc_source_computer_paragraph__loc_object_computer_paragraph__loc_special_names_paragraph__ : (Cobol_ptree.source_computer_paragraph Cobol_ptree.with_loc option * Cobol_ptree.object_computer_paragraph Cobol_ptree.with_loc option * Cobol_ptree.special_names_paragraph Cobol_ptree.with_loc option * Cobol_ptree.permutation_trio) nonterminal
  1029. | N_any_permut3_loc_source_computer_paragraph__loc_object_computer_paragraph__loc_repository_paragraph__ : (Cobol_ptree.source_computer_paragraph Cobol_ptree.with_loc option * Cobol_ptree.object_computer_paragraph Cobol_ptree.with_loc option * Cobol_ptree.repository_paragraph Cobol_ptree.with_loc option * Cobol_ptree.permutation_trio) nonterminal
  1030. | N_any_permut3_loc_object_computer_paragraph__loc_special_names_paragraph__loc_repository_paragraph__ : (Cobol_ptree.object_computer_paragraph Cobol_ptree.with_loc option * Cobol_ptree.special_names_paragraph Cobol_ptree.with_loc option * Cobol_ptree.repository_paragraph Cobol_ptree.with_loc option * Cobol_ptree.permutation_trio) nonterminal
  1031. | N_any_permut2_nullable_loc_special_names_paragraph__loc_repository_paragraph__ : (Cobol_ptree.special_names_paragraph Cobol_ptree.with_loc option * Cobol_ptree.repository_paragraph Cobol_ptree.with_loc option * Cobol_ptree.permutation_duo) nonterminal
  1032. | N_any_permut2_nullable_loc_source_computer_paragraph__loc_special_names_paragraph__ : (Cobol_ptree.source_computer_paragraph Cobol_ptree.with_loc option * Cobol_ptree.special_names_paragraph Cobol_ptree.with_loc option * Cobol_ptree.permutation_duo) nonterminal
  1033. | N_any_permut2_nullable_loc_source_computer_paragraph__loc_repository_paragraph__ : (Cobol_ptree.source_computer_paragraph Cobol_ptree.with_loc option * Cobol_ptree.repository_paragraph Cobol_ptree.with_loc option * Cobol_ptree.permutation_duo) nonterminal
  1034. | N_any_permut2_nullable_loc_source_computer_paragraph__loc_object_computer_paragraph__ : (Cobol_ptree.source_computer_paragraph Cobol_ptree.with_loc option * Cobol_ptree.object_computer_paragraph Cobol_ptree.with_loc option * Cobol_ptree.permutation_duo) nonterminal
  1035. | N_any_permut2_nullable_loc_object_computer_paragraph__loc_special_names_paragraph__ : (Cobol_ptree.object_computer_paragraph Cobol_ptree.with_loc option * Cobol_ptree.special_names_paragraph Cobol_ptree.with_loc option * Cobol_ptree.permutation_duo) nonterminal
  1036. | N_any_permut2_nullable_loc_object_computer_paragraph__loc_repository_paragraph__ : (Cobol_ptree.object_computer_paragraph Cobol_ptree.with_loc option * Cobol_ptree.repository_paragraph Cobol_ptree.with_loc option * Cobol_ptree.permutation_duo) nonterminal
  1037. | N_any_permut2_nullable_loc_configuration_section__loc_input_output_section__ : (Cobol_ptree.configuration_section Cobol_ptree.with_loc option * Cobol_ptree.input_output_section Cobol_ptree.with_loc option * Cobol_ptree.permutation_duo) nonterminal
  1038. | N_any_permut2_loc_special_names_paragraph__loc_repository_paragraph__ : (Cobol_ptree.special_names_paragraph Cobol_ptree.with_loc option * Cobol_ptree.repository_paragraph Cobol_ptree.with_loc option * Cobol_ptree.permutation_duo) nonterminal
  1039. | N_any_permut2_loc_source_computer_paragraph__loc_special_names_paragraph__ : (Cobol_ptree.source_computer_paragraph Cobol_ptree.with_loc option * Cobol_ptree.special_names_paragraph Cobol_ptree.with_loc option * Cobol_ptree.permutation_duo) nonterminal
  1040. | N_any_permut2_loc_source_computer_paragraph__loc_repository_paragraph__ : (Cobol_ptree.source_computer_paragraph Cobol_ptree.with_loc option * Cobol_ptree.repository_paragraph Cobol_ptree.with_loc option * Cobol_ptree.permutation_duo) nonterminal
  1041. | N_any_permut2_loc_source_computer_paragraph__loc_object_computer_paragraph__ : (Cobol_ptree.source_computer_paragraph Cobol_ptree.with_loc option * Cobol_ptree.object_computer_paragraph Cobol_ptree.with_loc option * Cobol_ptree.permutation_duo) nonterminal
  1042. | N_any_permut2_loc_object_computer_paragraph__loc_special_names_paragraph__ : (Cobol_ptree.object_computer_paragraph Cobol_ptree.with_loc option * Cobol_ptree.special_names_paragraph Cobol_ptree.with_loc option * Cobol_ptree.permutation_duo) nonterminal
  1043. | N_any_permut2_loc_object_computer_paragraph__loc_repository_paragraph__ : (Cobol_ptree.object_computer_paragraph Cobol_ptree.with_loc option * Cobol_ptree.repository_paragraph Cobol_ptree.with_loc option * Cobol_ptree.permutation_duo) nonterminal
  1044. | N_any_permut2_loc_configuration_section__loc_input_output_section__ : (Cobol_ptree.configuration_section Cobol_ptree.with_loc option * Cobol_ptree.input_output_section Cobol_ptree.with_loc option * Cobol_ptree.permutation_duo) nonterminal
  1045. | N_any_length_clause : unit nonterminal
  1046. | N_and_clause : Cobol_ptree.search_condition nonterminal
  1047. | N_alternate_record_key_clause : Cobol_ptree.select_clause nonterminal
  1048. | N_alter_statement : Cobol_ptree.statement nonterminal
  1049. | N_alphanum : Cobol_ptree.alphanum nonterminal
  1050. | N_alphabet_specification : Cobol_ptree.alphabet_specification nonterminal
  1051. | N_alphabet_name_clause : Cobol_ptree.special_names_clause nonterminal
  1052. | N_allocate_statement : Cobol_ptree.statement nonterminal
  1053. | N_alignment : Cobol_ptree.alignment nonterminal
  1054. | N_aligned_clause : unit nonterminal
  1055. | N_after_or_before : Cobol_ptree.stage nonterminal
  1056. | N_advancing_phrase : Cobol_ptree.advancing_phrase nonterminal
  1057. | N_address : Cobol_ptree.address nonterminal
  1058. | N_add_statement : Cobol_ptree.statement nonterminal
  1059. | N_access_mode_clause : Cobol_ptree.select_clause nonterminal
  1060. | N_access_mode : Cobol_ptree.access_mode nonterminal
  1061. | N_accept_with_clause : Cobol_ptree.accept_with_clause nonterminal
  1062. | N_accept_statement : Cobol_ptree.accept_stmt nonterminal
  1063. | N_accept_misc : Cobol_ptree.accept_misc nonterminal
  1064. | N_accept_clause : Cobol_ptree.accept_clause nonterminal
  1065. | N__assign_external_ : unit nonterminal
include 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 env
type !'a1 symbol =
  1. | T : 'a terminal -> 'a symbol
  2. | N : 'a0 nonterminal -> 'a0 symbol
type xsymbol =
  1. | X : 'a symbol -> xsymbol
type item = production * int
val compare_terminals : 'a terminal -> 'b terminal -> int
val compare_nonterminals : 'a nonterminal -> 'b nonterminal -> int
val compare_symbols : xsymbol -> xsymbol -> int
val compare_productions : production -> production -> int
val compare_items : item -> item -> int
val incoming_symbol : 'a lr1state -> 'a symbol
val items : 'a lr1state -> item list
val lhs : production -> xsymbol
val rhs : production -> xsymbol list
val nullable : 'a nonterminal -> bool
val first : 'a nonterminal -> 'b terminal -> bool
val xfirst : xsymbol -> 'a terminal -> bool
val foreach_terminal : (xsymbol -> 'a -> 'a) -> 'a -> 'a
val foreach_terminal_but_error : (xsymbol -> 'a -> 'a) -> 'a -> 'a
val feed : 'a symbol -> MenhirLib.IncrementalEngine.position -> 'a -> MenhirLib.IncrementalEngine.position -> 'b env -> 'b env