diffast-langs-python-parsing 0.1.1

include MenhirLib.IncrementalEngine.INCREMENTAL_ENGINE with type token = token

type token = token

type production

type 'a env

type 'a checkpoint = private

| InputNeeded of 'a env
| Shifting of 'a env * 'a env * bool
| AboutToReduce of 'a env * production
| HandlingError of 'a env
| Accepted of 'a
| Rejected

val offer : 
  'a checkpoint ->
  (token
   * MenhirLib.IncrementalEngine.position
   * MenhirLib.IncrementalEngine.position) ->
  'a checkpoint

type strategy = [

| `Legacy
| `Simplified

]

val resume : ?strategy:strategy -> 'a checkpoint -> 'a checkpoint

type supplier =
  unit ->
  token
  * MenhirLib.IncrementalEngine.position
  * MenhirLib.IncrementalEngine.position

val lexer_lexbuf_to_supplier : 
  (Lexing.lexbuf -> token) ->
  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 : _ lr1state -> int

val production_index : production -> int

val find_production : int -> production

type element =

| 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 : _ 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 = 'a Python_parsing.Tokens_.MenhirInterpreter.terminal

type _ nonterminal =

| N_yield_stmt : Ast.simplestmt_desc nonterminal
| N_yield_expr : Ast.testlist nonterminal
| N_xor_expr : Ast.target nonterminal
| N_with_stmt : Ast.statement_desc nonterminal
| N_with_item_list : (Ast.target * Ast.target option) list nonterminal
| N_with_item : (Ast.target * Ast.target option) nonterminal
| N_wildcard_pattern : Ast.pattern nonterminal
| N_while_stmt : Ast.statement_desc nonterminal
| N_varargslist : Ast.parameters nonterminal
| N_varargs_ : Ast.vararg list nonterminal
| N_vararg : Ast.vararg nonterminal
| N_value_pattern : Ast.pattern nonterminal
| N_typedargslist : (Ast.loc * Ast.vararg list) nonterminal
| N_typedargs_ : Ast.vararg list nonterminal
| N_typedarg : Ast.vararg nonterminal
| N_try_stmt : Ast.statement_desc nonterminal
| N_try_except : (Ast.suite * (Ast.except * Ast.suite) list) nonterminal
| N_trailer : Ast.trailer nonterminal
| N_tfpdef : Ast.fpdef nonterminal
| N_testlist_star_expr : Ast.testlist nonterminal
| N_testlist_or_yield_expr : Ast.testlist nonterminal
| N_testlist_comp : Ast.primary_desc nonterminal
| N_testlist_ : Ast.testlist nonterminal
| N_testlist1_star_expr : Ast.target list nonterminal
| N_testlist1_ : Ast.target list nonterminal
| N_testlist1 : Ast.target list nonterminal
| N_testlist : Ast.testlist nonterminal
| N_test : Ast.target nonterminal
| N_term : Ast.target nonterminal
| N_sync_comp_for : (Ast.target list * Ast.target * Ast.compiter option) nonterminal
| N_suite : Ast.suite nonterminal
| N_subscripts : Ast.sliceitem list nonterminal
| N_subscriptlist : Ast.sliceitem list nonterminal
| N_subscript : Ast.sliceitem nonterminal
| N_subject_expr : Ast.subject_expr nonterminal
| N_strings : Ast.pystring list nonterminal
| N_stringliteral : Ast.pystring nonterminal
| N_stmts : Ast.statement list nonterminal
| N_stmt : Ast.statement nonterminal
| N_star_pattern : Ast.pattern nonterminal
| N_star_expr : Ast.target nonterminal
| N_small_stmts : Ast.simplestmt list nonterminal
| N_small_stmt_ : Ast.simplestmt_desc nonterminal
| N_small_stmt : Ast.simplestmt nonterminal
| N_sliceop : Ast.target option nonterminal
| N_simple_stmt_ : Ast.statement nonterminal
| N_simple_stmt : Ast.statement nonterminal
| N_signed_number : Ast.literal_expr nonterminal
| N_shift_expr : Ast.target nonterminal
| N_sequence_pattern : Ast.pattern nonterminal
| N_separated_nonempty_list_PIPE_closed_pattern_ : Ast.pattern list nonterminal
| N_return_stmt : Ast.simplestmt_desc nonterminal
| N_ret_annot : Ast.target nonterminal
| N_raise_stmt : Ast.simplestmt_desc nonterminal
| N_print_stmt : Ast.simplestmt_desc nonterminal
| N_primary : Ast.primary nonterminal
| N_power : Ast.target nonterminal
| N_patterns : Ast.pattern nonterminal
| N_pattern_capture_target : Ast.pattern nonterminal
| N_pattern : Ast.pattern nonterminal
| N_pass_stmt : Ast.simplestmt_desc nonterminal
| N_parameters : Ast.parameters nonterminal
| N_or_test : Ast.target nonterminal
| N_or_pattern : Ast.pattern nonterminal
| N_option_open_sequence_pattern_ : Ast.pattern option nonterminal
| N_option_maybe_sequence_pattern_ : Ast.pattern option nonterminal
| N_option_guard_ : Ast.guard option nonterminal
| N_option_COMMA_ : unit option nonterminal
| N_open_sequence_pattern : Ast.pattern nonterminal
| N_old_test : Ast.target nonterminal
| N_old_lambdef : Ast.expr_desc nonterminal
| N_number : Ast.literal nonterminal
| N_not_test : Ast.target nonterminal
| N_nonlocal_stmt : Ast.simplestmt_desc nonterminal
| N_nonempty_list_dot_or_ellipsis_ : int list nonterminal
| N_nonempty_list_case_block_ : Ast.case_block list nonterminal
| N_names : Ast.name list nonterminal
| N_namedexpr_test : Ast.target nonterminal
| N_name : Ast.name nonterminal
| N_mop : Ast.bop nonterminal
| N_maybe_star_pattern : Ast.pattern nonterminal
| N_maybe_sequence_pattern : Ast.pattern nonterminal
| N_match_stmt : Ast.statement_desc nonterminal
| N_mapping_pattern : Ast.pattern nonterminal
| N_main : Ast.fileinput nonterminal
| N_literal_expr : Ast.literal_expr nonterminal
| N_literal : Ast.literal nonterminal
| N_lambdef : Ast.expr_desc nonterminal
| N_keyword_pattern : Ast.pattern nonterminal
| N_key_value_pattern : Ast.pattern nonterminal
| N_imports : Ast.name_as_name list nonterminal
| N_import_stmt : Ast.simplestmt_desc nonterminal
| N_import_name : Ast.simplestmt_desc nonterminal
| N_import_from : Ast.simplestmt_desc nonterminal
| N_import_as_names_list : Ast.name_as_name list nonterminal
| N_import_as_names : Ast.name_as_name list nonterminal
| N_import_as_name : Ast.name_as_name nonterminal
| N_if_stmt : Ast.statement_desc nonterminal
| N_guard : Ast.guard nonterminal
| N_group_pattern : Ast.pattern nonterminal
| N_global_stmt : Ast.simplestmt_desc nonterminal
| N_funcdef : Ast.statement_desc nonterminal
| N_fplist : Ast.fpdef list nonterminal
| N_fpdefs : Ast.fpdef list nonterminal
| N_fpdef : Ast.fpdef nonterminal
| N_for_stmt : Ast.statement_desc nonterminal
| N_flow_stmt : Ast.simplestmt_desc nonterminal
| N_finally : (Ast.loc * Ast.suite) nonterminal
| N_file_input_ : Ast.statement list nonterminal
| N_file_input : Ast.statement list nonterminal
| N_factor : Ast.target nonterminal
| N_exprlist : Ast.target list nonterminal
| N_expr_stmt : Ast.simplestmt_desc nonterminal
| N_expr : Ast.target nonterminal
| N_exec_stmt : Ast.simplestmt_desc nonterminal
| N_except_clause_suites : (Ast.except * Ast.suite) list nonterminal
| N_except_clause : Ast.except nonterminal
| N_eq_testlists : Ast.testlist list nonterminal
| N_els : (Ast.loc * Ast.suite) nonterminal
| N_elifs : (Ast.loc * Ast.target * Ast.suite) list nonterminal
| N_elif : (Ast.loc * Ast.target * Ast.suite) nonterminal
| N_double_star_pattern : Ast.pattern nonterminal
| N_dotted_name_ : Ast.dottedname nonterminal
| N_dotted_name : Ast.dottedname nonterminal
| N_dotted_as_names : Ast.dottedname_as_name list nonterminal
| N_dotted_as_name : Ast.dottedname_as_name nonterminal
| N_dot_or_ellipsis_seq : Ast.dots nonterminal
| N_dictorsetmaker : Ast.dictorsetmaker nonterminal
| N_dictelems : Ast.dictelem list nonterminal
| N_dictelem : Ast.dictelem nonterminal
| N_del_stmt : Ast.simplestmt_desc nonterminal
| N_decorators : Ast.decorator list nonterminal
| N_decorator : Ast.decorator nonterminal
| N_decorated : Ast.statement_desc nonterminal
| N_continue_stmt : Ast.simplestmt_desc nonterminal
| N_compound_stmt_ : Ast.statement_desc nonterminal
| N_compound_stmt : Ast.statement nonterminal
| N_complex_number : Ast.literal_expr nonterminal
| N_comparison : Ast.target nonterminal
| N_comp_op : Ast.bop nonterminal
| N_comp_iter : Ast.compiter nonterminal
| N_comp_if : Ast.compif nonterminal
| N_comp_for : Ast.compfor nonterminal
| N_closed_pattern : Ast.pattern nonterminal
| N_classdef : Ast.statement_desc nonterminal
| N_class_pattern : Ast.pattern nonterminal
| N_case_block : Ast.case_block nonterminal
| N_break_stmt : Ast.simplestmt_desc nonterminal
| N_augassign : Ast.augop nonterminal
| N_atom : Ast.primary_desc nonterminal
| N_async_stmt : Ast.statement_desc nonterminal
| N_async_funcdef : Ast.statement_desc nonterminal
| N_assert_stmt : Ast.simplestmt_desc nonterminal
| N_as_pattern : Ast.pattern nonterminal
| N_arith_expr : Ast.target nonterminal
| N_argument : Ast.argument nonterminal
| N_arglist : Ast.arglist nonterminal
| N_arg_comma_list_ : Ast.argument list nonterminal
| N_annot : (Ast.loc * Ast.target) nonterminal
| N_annassign : ((Ast.loc * Ast.target) * Ast.testlist option) nonterminal
| N_and_test : Ast.target nonterminal
| N_and_expr : Ast.target nonterminal
| N__star_exprs : Ast.target list nonterminal
| N__primary : Ast.primary nonterminal
| N__positional_patterns : Ast.pattern list nonterminal
| N__maybe_star_patterns : Ast.pattern list nonterminal
| N__keyword_patterns : Ast.pattern list nonterminal
| N__items_pattern : Ast.pattern list nonterminal
| N__exprs : Ast.target list 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

include MenhirLib.IncrementalEngine.SYMBOLS
  with type 'a terminal := 'a terminal
  with type 'a nonterminal := 'a nonterminal

type 'a symbol =

| T : 'a terminal -> 'a symbol
| N : 'a nonterminal -> 'a symbol

type xsymbol =

| X : 'a symbol -> xsymbol

type item = production * int

val compare_terminals : _ terminal -> _ terminal -> int

val compare_nonterminals : _ nonterminal -> _ 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 : _ lr1state -> item list

val lhs : production -> xsymbol

val rhs : production -> xsymbol list

val nullable : _ nonterminal -> bool

val first : _ nonterminal -> _ terminal -> bool

val xfirst : xsymbol -> _ 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

package diffast-langs-python-parsing