Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package reason-parser
type state = ET.statetype token = ET.tokentype semantic_value = ET.semantic_valueval entry :
state ->
(Lexing.lexbuf -> token) ->
Lexing.lexbuf ->
semantic_valuetype production = ET.productiontype 'a env = (ET.state, ET.semantic_value, ET.token) MenhirLib.EngineTypes.envtype !'a checkpoint = private 'a MenhirLib.Engine.Make(ET).checkpoint = val offer :
'a checkpoint ->
(token
* MenhirLib.IncrementalEngine.position
* MenhirLib.IncrementalEngine.position) ->
'a checkpointval resume : 'a checkpoint -> 'a checkpointtype supplier =
unit ->
token
* MenhirLib.IncrementalEngine.position
* MenhirLib.IncrementalEngine.positionval lexer_lexbuf_to_supplier :
(Lexing.lexbuf -> token) ->
Lexing.lexbuf ->
supplierval loop : 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 ->
booltype 'a lr1state = stateval number : 'a lr1state -> intval production_index : production -> intval find_production : int -> productiontype element = MenhirLib.Engine.Make(ET).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 : 'a lr1state -> boolval force_reduction : production -> 'a env -> 'a envval input_needed : 'a env -> 'a checkpointval start : state -> Lexing.position -> semantic_value checkpoint