package menhirLib

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module type `IncrementalEngine.INSPECTION`Source

include SYMBOLS

Sourcetype 'a terminal

Sourcetype 'a nonterminal

Sourcetype 'a symbol =

Sourcetype xsymbol =

Sourcetype 'a lr1state

Sourcetype production

Sourcetype item = production * int

Sourceval compare_terminals : _ terminal -> _ terminal -> int

Sourceval compare_nonterminals : _ nonterminal -> _ nonterminal -> int

Sourceval compare_symbols : xsymbol -> xsymbol -> int

Sourceval compare_productions : production -> production -> int

Sourceval compare_items : item -> item -> int

Sourceval incoming_symbol : 'a lr1state -> 'a symbol

Sourceval items : _ lr1state -> item list

Sourceval lhs : production -> xsymbol

Sourceval rhs : production -> xsymbol list

Sourceval nullable : _ nonterminal -> bool

Sourceval first : _ nonterminal -> _ terminal -> bool

Sourceval xfirst : xsymbol -> _ terminal -> bool

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

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

Sourcetype 'a env

Sourceval feed : 'a symbol -> position -> 'a -> position -> 'b env -> 'b env