Morbig.ExtMenhirLibSourceval accepted_token :
'a Parser.MenhirInterpreter.checkpoint ->
(Parser.MenhirInterpreter.token
* MenhirLib.IncrementalEngine.position
* MenhirLib.IncrementalEngine.position) ->
'a statusval is_accepted_token :
'a Parser.MenhirInterpreter.checkpoint ->
(Parser.MenhirInterpreter.token
* MenhirLib.IncrementalEngine.position
* MenhirLib.IncrementalEngine.position) ->
boolval accepted_raw_token :
'a Parser.MenhirInterpreter.checkpoint ->
Parser.MenhirInterpreter.token ->
'a statusfinished checkpoint is true if the current checkpoint can move the LR(1) automaton to an accepting state with no extra input.
nonterminal_production p returns the non terminal of p. The nonterminals of Menhir API are a too precisely typed for our needs. Hence, we introduce an extential type for weaken this precision.
type 'b top_symbol_processor = {perform : 'a. ('a Parser.MenhirInterpreter.symbol * 'a) -> 'b;}