package reason
-
reason.lib
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package reason
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
module TI : sig ... endinclude module type of struct include TI end
type token = Tables.tokentype semantic_value = Obj.tval entry :
state ->
(Lexing.lexbuf -> token) ->
Lexing.lexbuf ->
semantic_valuetype env = MenhirLib.TableInterpreter.Make(Tables).envtype !'a checkpoint =
private 'a MenhirLib.TableInterpreter.Make(Tables).checkpoint =
val offer :
'a checkpoint ->
(token * Lexing.position * Lexing.position) ->
'a checkpointval resume : 'a checkpoint -> 'a checkpointtype supplier = unit -> token * Lexing.position * Lexing.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 loop_test : (env -> 'accu -> 'accu) -> 'a checkpoint -> 'accu -> 'accuval acceptable : 'a checkpoint -> token -> Lexing.position -> booltype 'a lr1state = stateval number : 'a lr1state -> inttype element = MenhirLib.TableInterpreter.Make(Tables).element = | Element : 'a lr1state * 'a * Lexing.position * Lexing.position -> element
type stack = element MenhirLib.General.streamval positions : env -> Lexing.position * Lexing.positionval has_default_reduction : env -> boolval start : state -> Lexing.position -> semantic_value checkpoint