Module Parser.MenhirInterpreter
include MenhirLib.IncrementalEngine.INCREMENTAL_ENGINE with type token = token
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
]
type supplier =
unit ->
token
* MenhirLib.IncrementalEngine.position
* MenhirLib.IncrementalEngine.position
val lexer_lexbuf_to_supplier :
(Stdlib.Lexing.lexbuf -> token) ->
Stdlib.Lexing.lexbuf ->
supplier
val acceptable :
'a checkpoint ->
token ->
MenhirLib.IncrementalEngine.position ->
bool
type element =
| Element : 'a lr1state
* 'a
* MenhirLib.IncrementalEngine.position
* MenhirLib.IncrementalEngine.position -> element
type stack = element MenhirLib.General.stream
val pop_many : int -> 'a env -> 'a env 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