Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
include MenhirLib.IncrementalEngine.INCREMENTAL_ENGINE with type token = token
type token = tokenval offer :
'a checkpoint ->
(token
* MenhirLib.IncrementalEngine.position
* MenhirLib.IncrementalEngine.position) ->
'a checkpointval resume : ?strategy:strategy -> 'a checkpoint -> 'a checkpointtype supplier =
unit ->
token
* MenhirLib.IncrementalEngine.position
* MenhirLib.IncrementalEngine.positionval lexer_lexbuf_to_supplier :
( Lexing.lexbuf -> token ) ->
Lexing.lexbuf ->
supplierval loop : ?strategy:strategy -> supplier -> 'a checkpoint -> 'aval loop_handle :
( 'a -> 'answer ) ->
( 'a checkpoint -> 'answer ) ->
supplier ->
'a checkpoint ->
'answerval loop_handle_undo :
( 'a -> 'answer ) ->
( 'a checkpoint -> 'a checkpoint -> 'answer ) ->
supplier ->
'a checkpoint ->
'answerval shifts : 'a checkpoint -> 'a env optionval acceptable :
'a checkpoint ->
token ->
MenhirLib.IncrementalEngine.position ->
boolval number : _ lr1state -> intval production_index : production -> intval find_production : int -> productiontype element = | Element : 'a lr1state
* 'a
* MenhirLib.IncrementalEngine.position
* MenhirLib.IncrementalEngine.position -> element |
type stack = element MenhirLib.General.streamval current_state_number : 'a env -> intval positions :
'a env ->
MenhirLib.IncrementalEngine.position * MenhirLib.IncrementalEngine.positionval env_has_default_reduction : 'a env -> boolval state_has_default_reduction : _ lr1state -> boolval force_reduction : production -> 'a env -> 'a envval input_needed : 'a env -> 'a checkpointtype _ terminal = | T_error : unit terminal |
| T_WITH : unit terminal |
| T_WHILE : unit terminal |
| T_WHEN : unit terminal |
| T_VIRTUAL : unit terminal |
| T_VAL : unit terminal |
| T_UNDERSCORE : unit terminal |
| T_UIDENT : string terminal |
| T_TYPE : unit terminal |
| T_TRY : unit terminal |
| T_TRUE : unit terminal |
| T_TO : unit terminal |
| T_TILDE : unit terminal |
| T_THEN : unit terminal |
| T_SWITCH : unit terminal |
| T_STRUCT : unit terminal |
| T_STRING : (string * string option * string option) terminal |
| T_STAR : unit terminal |
| T_SLASHGREATER : unit terminal |
| T_SIG : unit terminal |
| T_SHARPOP : string terminal |
| T_SHARPEQUAL : unit terminal |
| T_SHARP : unit terminal |
| T_SEMISEMI : unit terminal |
| T_SEMI : unit terminal |
| T_RPAREN : unit terminal |
| T_REC : unit terminal |
| T_RBRACKET : unit terminal |
| T_RBRACE : unit terminal |
| T_QUOTE : unit terminal |
| T_QUESTION : unit terminal |
| T_PUB : unit terminal |
| T_PRI : unit terminal |
| T_PREFIXOP : string terminal |
| T_POSTFIXOP : string terminal |
| T_PLUSEQ : unit terminal |
| T_PLUSDOT : unit terminal |
| T_PLUS : unit terminal |
| T_PERCENT : unit terminal |
| T_OR : unit terminal |
| T_OPEN : unit terminal |
| T_OF : unit terminal |
| T_OBJECT : unit terminal |
| T_NONREC : unit terminal |
| T_NEW : unit terminal |
| T_NATIVEINT : nativeint terminal |
| T_MUTABLE : unit terminal |
| T_MODULE : unit terminal |
| T_MINUSGREATER : unit terminal |
| T_MINUSDOT : unit terminal |
| T_MINUS : unit terminal |
| T_LPAREN : unit terminal |
| T_LIDENT : string terminal |
| T_LETOP : string terminal |
| T_LET : unit terminal |
| T_LESSUIDENT : string terminal |
| T_LESSSLASHIDENTGREATER : string terminal |
| T_LESSSLASHGREATER : unit terminal |
| T_LESSIDENT : string terminal |
| T_LESSGREATER : unit terminal |
| T_LESSDOTDOTGREATER : unit terminal |
| T_LESS : unit terminal |
| T_LBRACKETPERCENTPERCENT : unit terminal |
| T_LBRACKETPERCENT : unit terminal |
| T_LBRACKETLESS : unit terminal |
| T_LBRACKETGREATER : unit terminal |
| T_LBRACKETBAR : unit terminal |
| T_LBRACKETAT : unit terminal |
| T_LBRACKET : unit terminal |
| T_LBRACELESS : unit terminal |
| T_LBRACE : unit terminal |
| T_LAZY : unit terminal |
| T_INT : (string * char option) terminal |
| T_INITIALIZER : unit terminal |
| T_INHERIT : unit terminal |
| T_INFIXOP4 : string terminal |
| T_INFIXOP3 : string terminal |
| T_INFIXOP2 : string terminal |
| T_INFIXOP1 : string terminal |
| T_INFIXOP0 : string terminal |
| T_INCLUDE : unit terminal |
| T_IN : unit terminal |
| T_IF : unit terminal |
| T_GREATERRBRACE : unit terminal |
| T_GREATERDOTDOTDOT : unit terminal |
| T_GREATER : unit terminal |
| T_FUNCTOR : unit terminal |
| T_FUNCTION : unit terminal |
| T_FUN : unit terminal |
| T_FOR : unit terminal |
| T_FLOAT : (string * char option) terminal |
| T_FALSE : unit terminal |
| T_EXTERNAL : unit terminal |
| T_EXCEPTION : unit terminal |
| T_ES6_FUN : unit terminal |
| T_EQUALGREATER : unit terminal |
| T_EQUAL : unit terminal |
| T_EOL : unit terminal |
| T_EOF : unit terminal |
| T_END : unit terminal |
| T_ELSE : unit terminal |
| T_DOWNTO : unit terminal |
| T_DOTDOTDOT : unit terminal |
| T_DOTDOT : unit terminal |
| T_DOT : unit terminal |
| T_DONE : unit terminal |
| T_DOCSTRING : string terminal |
| T_DO : unit terminal |
| T_CONSTRAINT : unit terminal |
| T_COMMENT : (string * Location.t) terminal |
| T_COMMA : unit terminal |
| T_COLONGREATER : unit terminal |
| T_COLONEQUAL : unit terminal |
| T_COLONCOLON : unit terminal |
| T_COLON : unit terminal |
| T_CLASS : unit terminal |
| T_CHAR : char terminal |
| T_BEGIN : unit terminal |
| T_BARRBRACKET : unit terminal |
| T_BARBAR : unit terminal |
| T_BAR : unit terminal |
| T_BANG : unit terminal |
| T_BACKQUOTE : unit terminal |
| T_ASSERT : unit terminal |
| T_AS : unit terminal |
| T_ANDOP : string terminal |
| T_AND : unit terminal |
| T_AMPERSAND : unit terminal |
| T_AMPERAMPER : unit terminal |
type _ 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 item = production * intval compare_nonterminals : _ nonterminal -> _ nonterminal -> intval compare_productions : production -> production -> intval lhs : production -> xsymbolval rhs : production -> xsymbol listval nullable : _ nonterminal -> boolval first : _ nonterminal -> _ terminal -> boolval foreach_terminal : ( xsymbol -> 'a -> 'a ) -> 'a -> 'aval foreach_terminal_but_error : ( xsymbol -> 'a -> 'a ) -> 'a -> 'aval feed :
'a symbol ->
MenhirLib.IncrementalEngine.position ->
'a ->
MenhirLib.IncrementalEngine.position ->
'b env ->
'b env