package reason

  1. Overview
  2. Docs
type state = int
type token = Tables.token
type semantic_value = Obj.t
exception Error
type production = int
type !'a checkpoint = private 'a MenhirLib.TableInterpreter.Make(Tables).checkpoint =
  1. | InputNeeded of env
  2. | Shifting of env * env * bool
  3. | AboutToReduce of env * production
  4. | HandlingError of env
  5. | Accepted of 'a
  6. | Rejected
val resume : 'a checkpoint -> 'a checkpoint
type supplier = unit -> token * Lexing.position * Lexing.position
val lexer_lexbuf_to_supplier : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> supplier
val loop : supplier -> 'a checkpoint -> 'a
val loop_handle : ('a -> 'answer) -> ('a checkpoint -> 'answer) -> supplier -> 'a checkpoint -> 'answer
val loop_handle_undo : ('a -> 'answer) -> ('a checkpoint -> 'a checkpoint -> 'answer) -> supplier -> 'a checkpoint -> 'answer
val loop_test : (env -> 'accu -> 'accu) -> 'a checkpoint -> 'accu -> 'accu
val acceptable : 'a checkpoint -> token -> Lexing.position -> bool
type 'a lr1state = state
val number : 'a lr1state -> int
val stack : env -> stack
val positions : env -> Lexing.position * Lexing.position
val has_default_reduction : env -> bool
OCaml

Innovation. Community. Security.