menhir 20170101 · OCaml Package

type token

type env

type production

type !'a checkpoint = private

val offer : 
  'a checkpoint ->
  (token * Lexing.position * Lexing.position) ->
  'a checkpoint

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

val number : 'a lr1state -> int

type element =

type stack = element General.stream

val stack : env -> stack

val positions : env -> Lexing.position * Lexing.position

val has_default_reduction : env -> bool

type 'a terminal

type 'a nonterminal

type !'a1 symbol =

type xsymbol =

type item = production * int

val compare_terminals : 'a terminal -> 'b terminal -> int

val compare_nonterminals : 'a nonterminal -> 'b nonterminal -> int

val compare_symbols : xsymbol -> xsymbol -> int

val compare_productions : production -> production -> int

val compare_items : item -> item -> int

val incoming_symbol : 'a lr1state -> 'a symbol

val items : 'a lr1state -> item list

val lhs : production -> xsymbol

val rhs : production -> xsymbol list

val nullable : 'a nonterminal -> bool

val first : 'a nonterminal -> 'b terminal -> bool

val xfirst : xsymbol -> 'a terminal -> bool

val foreach_terminal : (xsymbol -> 'a -> 'a) -> 'a -> 'a

val foreach_terminal_but_error : (xsymbol -> 'a -> 'a) -> 'a -> 'a

package menhir