package archetype

  1. Overview
  2. Docs
package archetype
Legend:
Library
Module
Module type
Parameter
Class
Class type
include MenhirLib.IncrementalEngine.INCREMENTAL_ENGINE with type token = token
type token = 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 _ terminal =
  1. | T_error : unit terminal
  2. | T_XOR : unit terminal
  3. | T_WITH_METADATA : unit terminal
  4. | T_WITH : unit terminal
  5. | T_WHILE : unit terminal
  6. | T_WHEN : unit terminal
  7. | T_VIEW : unit terminal
  8. | T_VARIABLE : unit terminal
  9. | T_VAR : unit terminal
  10. | T_UTZ : string terminal
  11. | T_USE : unit terminal
  12. | T_UNPACK : unit terminal
  13. | T_UNMOVED : unit terminal
  14. | T_UNIT : unit terminal
  15. | T_UNDERSCORE : unit terminal
  16. | T_TZ : string terminal
  17. | T_TYPE : unit terminal
  18. | T_TRUE : unit terminal
  19. | T_TRANSITION : unit terminal
  20. | T_TRANSFER : unit terminal
  21. | T_TO : unit terminal
  22. | T_TICKET : unit terminal
  23. | T_THEN : unit terminal
  24. | T_STRING_EXT : string terminal
  25. | T_STRING : string terminal
  26. | T_STATE_IS : unit terminal
  27. | T_STATES : unit terminal
  28. | T_SPECIFICATION : unit terminal
  29. | T_SOURCED : unit terminal
  30. | T_SORTED : unit terminal
  31. | T_SOME : unit terminal
  32. | T_SLASHPERCENT : unit terminal
  33. | T_SLASH : unit terminal
  34. | T_SHADOW : unit terminal
  35. | T_SET : unit terminal
  36. | T_SEMI_COLON : unit terminal
  37. | T_SELF : unit terminal
  38. | T_SECURITY : unit terminal
  39. | T_SAPLING_TRANSACTION : unit terminal
  40. | T_SAPLING_STATE : unit terminal
  41. | T_RPAREN : unit terminal
  42. | T_RIGHT : unit terminal
  43. | T_RETURN : unit terminal
  44. | T_REQUIRE_ENTRYPOINT : unit terminal
  45. | T_REQUIRE : unit terminal
  46. | T_REMOVED : unit terminal
  47. | T_RECORD : unit terminal
  48. | T_RBRACKET : unit terminal
  49. | T_RBRACE : unit terminal
  50. | T_QUESTIONIS : unit terminal
  51. | T_QUESTIONEQUAL : unit terminal
  52. | T_QUESTIONDOT : unit terminal
  53. | T_QUESTIONCOLONEQUAL : unit terminal
  54. | T_QUESTION : unit terminal
  55. | T_PREDICATE : unit terminal
  56. | T_POSTCONDITION : unit terminal
  57. | T_PLUSEQUAL : unit terminal
  58. | T_PLUS : unit terminal
  59. | T_PIPE_GREATER_GREATER : unit terminal
  60. | T_PIPEEQUAL : unit terminal
  61. | T_PIPE : unit terminal
  62. | T_PIDENT : string terminal
  63. | T_PERCENT_LIT : string terminal
  64. | T_PERCENTRBRACKET : unit terminal
  65. | T_PERCENT : unit terminal
  66. | T_PARTITION : unit terminal
  67. | T_OTHERWISE : unit terminal
  68. | T_OR : unit terminal
  69. | T_OPTION : unit terminal
  70. | T_ONCHAIN : unit terminal
  71. | T_ON : unit terminal
  72. | T_OFFCHAIN : unit terminal
  73. | T_NUMBERNAT : Big_int.big_int terminal
  74. | T_NUMBERINT : Big_int.big_int terminal
  75. | T_NO_TRANSFER : unit terminal
  76. | T_NOT : unit terminal
  77. | T_NONE : unit terminal
  78. | T_NEQUAL : unit terminal
  79. | T_NAMESPACE : unit terminal
  80. | T_MULTEQUAL : unit terminal
  81. | T_MULT : unit terminal
  82. | T_MTZ : string terminal
  83. | T_MINUSEQUAL : unit terminal
  84. | T_MINUS : unit terminal
  85. | T_MATCH : unit terminal
  86. | T_MAP : unit terminal
  87. | T_MAKE_SET : unit terminal
  88. | T_MAKE_MAP : unit terminal
  89. | T_MAKE_LIST : unit terminal
  90. | T_MAKE_EVENT : unit terminal
  91. | T_MAKE_BIG_MAP : unit terminal
  92. | T_MAKE_ASSET : unit terminal
  93. | T_LPAREN : unit terminal
  94. | T_LIST : unit terminal
  95. | T_LET : unit terminal
  96. | T_LESS_LESS_PIPE : unit terminal
  97. | T_LESS_EQUAL_GREATER : unit terminal
  98. | T_LESSEQUAL : unit terminal
  99. | T_LESS : unit terminal
  100. | T_LEFT : unit terminal
  101. | T_LBRACKETPERCENT : unit terminal
  102. | T_LBRACKET : unit terminal
  103. | T_LBRACE : unit terminal
  104. | T_LAMBDA : unit terminal
  105. | T_LABEL : unit terminal
  106. | T_ITERABLE_BIG_MAP : unit terminal
  107. | T_ITER : unit terminal
  108. | T_IS : unit terminal
  109. | T_INVARIANT : unit terminal
  110. | T_INVALID_EXPR : unit terminal
  111. | T_INVALID_EFFECT : unit terminal
  112. | T_INVALID_DECL : unit terminal
  113. | T_INITIALIZED : unit terminal
  114. | T_INITIAL : unit terminal
  115. | T_IN : unit terminal
  116. | T_IMPORT : unit terminal
  117. | T_IMPLY : unit terminal
  118. | T_IF : unit terminal
  119. | T_IDENTIFIED : unit terminal
  120. | T_IDENT : string terminal
  121. | T_GREATEREQUAL : unit terminal
  122. | T_GREATER : unit terminal
  123. | T_GET_ENTRYPOINT : unit terminal
  124. | T_GETTER : unit terminal
  125. | T_FUNCTION : unit terminal
  126. | T_FROM : unit terminal
  127. | T_FORALL : unit terminal
  128. | T_FOR : unit terminal
  129. | T_FOLD : unit terminal
  130. | T_FALSE : unit terminal
  131. | T_FAIL_IF : unit terminal
  132. | T_FAILSOME : unit terminal
  133. | T_FAILS : unit terminal
  134. | T_FAIL : unit terminal
  135. | T_EXTENSION : unit terminal
  136. | T_EXISTS : unit terminal
  137. | T_EVENT : unit terminal
  138. | T_EQUIV : unit terminal
  139. | T_EQUAL : unit terminal
  140. | T_EOF : unit terminal
  141. | T_ENUM : unit terminal
  142. | T_ENTRY : unit terminal
  143. | T_END : unit terminal
  144. | T_EMIT : unit terminal
  145. | T_ELSE : unit terminal
  146. | T_EFFECT : unit terminal
  147. | T_DURATION : string terminal
  148. | T_DO_REQUIRE : unit terminal
  149. | T_DO_FAIL_IF : unit terminal
  150. | T_DOT : unit terminal
  151. | T_DONE : unit terminal
  152. | T_DO : unit terminal
  153. | T_DIVEQUAL : unit terminal
  154. | T_DIV : unit terminal
  155. | T_DEFINITION : unit terminal
  156. | T_DECIMAL : string terminal
  157. | T_DATE : string terminal
  158. | T_CONTRACT : unit terminal
  159. | T_CONSTANT : unit terminal
  160. | T_CONST : unit terminal
  161. | T_COMMA : unit terminal
  162. | T_COLONEQUAL : unit terminal
  163. | T_COLONCOLON : unit terminal
  164. | T_COLON : unit terminal
  165. | T_CALL_VIEW : unit terminal
  166. | T_CALLED : unit terminal
  167. | T_CALL : unit terminal
  168. | T_BYTES : string terminal
  169. | T_BY : unit terminal
  170. | T_BUT : unit terminal
  171. | T_BIG_MAP : unit terminal
  172. | T_BEGIN : unit terminal
  173. | T_BEFORE : unit terminal
  174. | T_AT : unit terminal
  175. | T_ASSET_VIEW : unit terminal
  176. | T_ASSET_VALUE : unit terminal
  177. | T_ASSET_KEY : unit terminal
  178. | T_ASSET_CONTAINER : unit terminal
  179. | T_ASSET : unit terminal
  180. | T_ASSERT : unit terminal
  181. | T_AS : unit terminal
  182. | T_ARCHETYPE : unit terminal
  183. | T_ANY : unit terminal
  184. | T_AND : unit terminal
  185. | T_AMPEQUAL : unit terminal
  186. | T_AGGREGATE : unit terminal
  187. | T_ADDRESS_TO_CONTRACT : unit terminal
  188. | T_ADDRESS : string terminal
  189. | T_ADDED : unit terminal
  190. | T_ACCEPT_TRANSFER : unit terminal
type _ nonterminal =
  1. | N_view_decl : ParseTree.declaration_unloc nonterminal
  2. | N_vc_decl_VARIABLE_ : (ParseTree.lident * ParseTree.type_t * ParseTree.expr option * ParseTree.label_exprs * ParseTree.exts) nonterminal
  3. | N_vc_decl_CONSTANT_ : (ParseTree.lident * ParseTree.type_t * ParseTree.expr option * ParseTree.label_exprs * ParseTree.exts) nonterminal
  4. | N_variable : ParseTree.declaration_unloc nonterminal
  5. | N_type_s_unloc : ParseTree.type_r nonterminal
  6. | N_type_r : ParseTree.type_r nonterminal
  7. | N_type_decl : ParseTree.declaration_unloc nonterminal
  8. | N_transition_to_item : (ParseTree.lident * (ParseTree.expr * ParseTree.exts) option * (ParseTree.expr * ParseTree.exts) option) nonterminal
  9. | N_transition : ParseTree.declaration_unloc nonterminal
  10. | N_start_expr : ParseTree.expr nonterminal
  11. | N_specvariable : ParseTree.declaration_unloc nonterminal
  12. | N_specification_fun : ParseTree.specification nonterminal
  13. | N_specification_decl : ParseTree.declaration_unloc nonterminal
  14. | N_specgetter : ParseTree.declaration_unloc nonterminal
  15. | N_specfun_gen_GETTER_ : (ParseTree.lident * ParseTree.args * ParseTree.specification) nonterminal
  16. | N_specfun_gen_FUNCTION_ : (ParseTree.lident * ParseTree.args * ParseTree.specification) nonterminal
  17. | N_specfun_gen_ENTRY_ : (ParseTree.lident * ParseTree.args * ParseTree.specification) nonterminal
  18. | N_specfun : ParseTree.declaration_unloc nonterminal
  19. | N_specentry : ParseTree.declaration_unloc nonterminal
  20. | N_specasset : ParseTree.declaration_unloc nonterminal
  21. | N_spec_items : ParseTree.specification_item list nonterminal
  22. | N_sourcedby : (ParseTree.expr * ParseTree.expr option * ParseTree.exts) nonterminal
  23. | N_snl2_OR_security_arg_ : ParseTree.security_arg list nonterminal
  24. | N_snl2_COMMA_expr_ : ParseTree.expr list nonterminal
  25. | N_snl_SEMI_COLON_security_item_ : ParseTree.security_item list nonterminal
  26. | N_snl_SEMI_COLON_rf_WITH__ : (ParseTree.lident * ParseTree.expr * ParseTree.expr option) list nonterminal
  27. | N_snl_SEMI_COLON_rf_OTHERWISE__ : (ParseTree.lident * ParseTree.expr * ParseTree.expr option) list nonterminal
  28. | N_snl_SEMI_COLON_label_expr_ : ParseTree.label_exprs nonterminal
  29. | N_snl_SEMI_COLON_field_ : ParseTree.field list nonterminal
  30. | N_snl_SEMI_COLON_cf_ : (ParseTree.lident * ParseTree.expr * ParseTree.expr option) list nonterminal
  31. | N_snl_COMMA_type_t_ : ParseTree.type_t list nonterminal
  32. | N_snl_COMMA_simple_expr_ : ParseTree.expr list nonterminal
  33. | N_snl_COMMA_security_arg_ : ParseTree.security_arg list nonterminal
  34. | N_snl_COMMA_parameter_ : ParseTree.parameter list nonterminal
  35. | N_snl_COMMA_function_arg_ : ParseTree.args nonterminal
  36. | N_snl_COMMA_expr_ : ParseTree.expr list nonterminal
  37. | N_sl_SEMI_COLON_security_item_ : ParseTree.security_item list nonterminal
  38. | N_sl_SEMI_COLON_field_ : ParseTree.field list nonterminal
  39. | N_sl_COMMA_simple_expr_ : ParseTree.expr list nonterminal
  40. | N_sl_COMMA_security_arg_ : ParseTree.security_arg list nonterminal
  41. | N_sl_COMMA_function_arg_ : ParseTree.args nonterminal
  42. | N_simple_expr_r : ParseTree.expr_unloc nonterminal
  43. | N_separated_nonempty_list_SEMI_COLON_recupdate_item_ : (ParseTree.lident * ParseTree.expr) list nonterminal
  44. | N_separated_nonempty_list_SEMI_COLON_record_item_ : ParseTree.record_item list nonterminal
  45. | N_separated_nonempty_list_SEMI_COLON_record_expr_ : ParseTree.expr list nonterminal
  46. | N_separated_nonempty_list_MULT_type_s_ : ParseTree.type_t list nonterminal
  47. | N_separated_nonempty_list_COMMA_security_arg_ : ParseTree.security_arg list nonterminal
  48. | N_separated_nonempty_list_COMMA_ident_ : ParseTree.lident list nonterminal
  49. | N_security_decl_unloc : ParseTree.security_unloc nonterminal
  50. | N_security_decl : ParseTree.declaration_unloc nonterminal
  51. | N_security_arg_unloc : ParseTree.security_arg_unloc nonterminal
  52. | N_rf_WITH_ : (ParseTree.lident * ParseTree.expr * ParseTree.expr option) nonterminal
  53. | N_rf_OTHERWISE_ : (ParseTree.lident * ParseTree.expr * ParseTree.expr option) nonterminal
  54. | N_recupdate_item : (ParseTree.lident * ParseTree.expr) nonterminal
  55. | N_record_item : ParseTree.record_item nonterminal
  56. | N_record : ParseTree.declaration_unloc nonterminal
  57. | N_pname : ParseTree.pname nonterminal
  58. | N_order_operations : ParseTree.expr_unloc nonterminal
  59. | N_order_operation : ParseTree.expr_unloc nonterminal
  60. | N_option_with_effect_ : (ParseTree.expr * ParseTree.exts) option nonterminal
  61. | N_option_tentry_postfix_ : (ParseTree.lident * ParseTree.expr) option nonterminal
  62. | N_option_state_is_ : (ParseTree.lident * ParseTree.expr option) option nonterminal
  63. | N_option_specification_fun_ : ParseTree.specification option nonterminal
  64. | N_option_sourcedby_ : (ParseTree.expr * ParseTree.expr option * ParseTree.exts) option nonterminal
  65. | N_option_require_value_ : (ParseTree.expr * ParseTree.exts) option nonterminal
  66. | N_option_require_ : ((ParseTree.lident * ParseTree.expr * ParseTree.expr option) list * ParseTree.exts) option nonterminal
  67. | N_option_record_position_ : ParseTree.expr option nonterminal
  68. | N_option_prefix_EQUAL_enum_body__ : (ParseTree.lident * ParseTree.type_t list * ParseTree.enum_option list) list option nonterminal
  69. | N_option_paren_separated_nonempty_list_COMMA_ident___ : ParseTree.lident list option nonterminal
  70. | N_option_parameter_init_ : ParseTree.expr option nonterminal
  71. | N_option_otherwise_section_ : ParseTree.expr option nonterminal
  72. | N_option_on_value_ : (ParseTree.lident * ParseTree.type_t) option nonterminal
  73. | N_option_ident_ : ParseTree.lident option nonterminal
  74. | N_option_function_return_ : ParseTree.type_t option nonterminal
  75. | N_option_failif_ : ((ParseTree.lident * ParseTree.expr * ParseTree.expr option) list * ParseTree.exts) option nonterminal
  76. | N_option_extensions_ : ParseTree.exts nonterminal
  77. | N_option_effect_ : (ParseTree.expr * ParseTree.exts) option nonterminal
  78. | N_option_default_value_ : ParseTree.expr option nonterminal
  79. | N_option_constants_ : ((ParseTree.lident * ParseTree.expr * ParseTree.expr option) list * ParseTree.exts) option nonterminal
  80. | N_option_calledby_ : (ParseTree.expr * ParseTree.expr option * ParseTree.exts) option nonterminal
  81. | N_option_asset_options_ : ParseTree.asset_option list option nonterminal
  82. | N_option_asset_fields_ : ParseTree.field list option nonterminal
  83. | N_option_SEMI_COLON_ : unit option nonterminal
  84. | N_on_value : (ParseTree.lident * ParseTree.type_t) nonterminal
  85. | N_nonempty_list_type_tuple_ : ParseTree.type_t list nonterminal
  86. | N_nonempty_list_transition_to_item_ : ParseTree.transition nonterminal
  87. | N_nonempty_list_spec_fail_item_ : (ParseTree.lident * ParseTree.lident option * ParseTree.lident * ParseTree.type_t * ParseTree.expr) list nonterminal
  88. | N_nonempty_list_loc_pattern__ : ParseTree.pattern list nonterminal
  89. | N_nonempty_list_ident_typ_q_item_ : (string Location.loced * ParseTree.quantifier_kind) list list nonterminal
  90. | N_nonempty_list_ident_ : ParseTree.lident list nonterminal
  91. | N_nonempty_list_extension_ : ParseTree.extension list nonterminal
  92. | N_nonempty_list_declaration_ : ParseTree.declaration list nonterminal
  93. | N_nonempty_list_branch_ : ParseTree.branch list nonterminal
  94. | N_nonempty_list_asset_option_ : ParseTree.asset_option list nonterminal
  95. | N_namespace : ParseTree.declaration_unloc nonterminal
  96. | N_main : ParseTree.archetype nonterminal
  97. | N_loption_separated_nonempty_list_SEMI_COLON_recupdate_item__ : (ParseTree.lident * ParseTree.expr) list nonterminal
  98. | N_loption_separated_nonempty_list_SEMI_COLON_record_item__ : ParseTree.record_item list nonterminal
  99. | N_loption_separated_nonempty_list_COMMA_security_arg__ : ParseTree.security_arg list nonterminal
  100. | N_literal : ParseTree.literal nonterminal
  101. | N_list_loc_spec_variable__ : ParseTree.specification_item_unloc Location.loced list nonterminal
  102. | N_list_loc_spec_predicate__ : ParseTree.specification_item_unloc Location.loced list nonterminal
  103. | N_list_loc_spec_postcondition__ : ParseTree.specification_item_unloc Location.loced list nonterminal
  104. | N_list_loc_spec_fails__ : ParseTree.specification_item_unloc Location.loced list nonterminal
  105. | N_list_loc_spec_effect__ : ParseTree.specification_item_unloc Location.loced list nonterminal
  106. | N_list_loc_spec_definition__ : ParseTree.specification_item_unloc Location.loced list nonterminal
  107. | N_list_loc_spec_contract_invariant__ : ParseTree.specification_item_unloc Location.loced list nonterminal
  108. | N_list_loc_spec_assert__ : ParseTree.specification_item_unloc Location.loced list nonterminal
  109. | N_list_invars_ : ParseTree.invariants nonterminal
  110. | N_list_function_item_ : ParseTree.s_function Location.loced list nonterminal
  111. | N_list_enum_option_ : ParseTree.enum_option list nonterminal
  112. | N_list_enum_cdecl_ : (ParseTree.lident * ParseTree.type_t list * ParseTree.enum_option list) list nonterminal
  113. | N_list_asset_post_option_ : ParseTree.asset_post_option list nonterminal
  114. | N_label_expr_unloc : (ParseTree.lident * ParseTree.expr) nonterminal
  115. | N_import : ParseTree.declaration_unloc nonterminal
  116. | N_implementation_archetype : ParseTree.archetype_unloc nonterminal
  117. | N_ident_typ_q : (string Location.loced * ParseTree.quantifier_kind) list nonterminal
  118. | N_getter_decl : ParseTree.declaration_unloc nonterminal
  119. | N_function_item : ParseTree.s_function Location.loced nonterminal
  120. | N_function_decl : ParseTree.declaration_unloc nonterminal
  121. | N_field_r : ParseTree.field_unloc nonterminal
  122. | N_extension_r : ParseTree.extension_unloc nonterminal
  123. | N_expr_r : ParseTree.expr_unloc nonterminal
  124. | N_event : ParseTree.declaration_unloc nonterminal
  125. | N_enum_option : ParseTree.enum_option nonterminal
  126. | N_enum_cdecl : (ParseTree.lident * ParseTree.type_t list * ParseTree.enum_option list) nonterminal
  127. | N_enum_body : (ParseTree.lident * ParseTree.type_t list * ParseTree.enum_option list) list nonterminal
  128. | N_enum : ParseTree.declaration_unloc nonterminal
  129. | N_entry_simple : ParseTree.declaration_unloc nonterminal
  130. | N_entry_properties : ParseTree.entry_properties nonterminal
  131. | N_entry : ParseTree.declaration_unloc nonterminal
  132. | N_effect : (ParseTree.expr * ParseTree.exts) nonterminal
  133. | N_dextension : ParseTree.declaration_unloc nonterminal
  134. | N_declaration_r : ParseTree.declaration_unloc nonterminal
  135. | N_constant : ParseTree.declaration_unloc nonterminal
  136. | N_cfs : (ParseTree.lident * ParseTree.expr * ParseTree.expr option) list nonterminal
  137. | N_cf : (ParseTree.lident * ParseTree.expr * ParseTree.expr option) nonterminal
  138. | N_calledby : (ParseTree.expr * ParseTree.expr option * ParseTree.exts) nonterminal
  139. | N_branch : ParseTree.branch nonterminal
  140. | N_boption_CONST_ : bool nonterminal
  141. | N_asset_post_option : ParseTree.asset_post_option nonterminal
  142. | N_asset_option : ParseTree.asset_option nonterminal
  143. | N_asset : ParseTree.declaration_unloc nonterminal
  144. | N_archetype_r : ParseTree.archetype_unloc nonterminal
  145. | N_archetype_extension : ParseTree.archetype_unloc nonterminal
  146. | N_archetype : ParseTree.declaration_unloc 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
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct