package menhir

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Legend:
Library
Module
Module type
Parameter
Class
Class type

Parameters

module T : TableFormat.TABLES

type state = int

type token = T.token

type semantic_value = Obj.t

exception Error

val entry : 
  state ->
  (Lexing.lexbuf -> token) ->
  Lexing.lexbuf ->
  semantic_value

type env

type production = int

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 = state

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

val start : state -> Lexing.position -> semantic_value checkpoint