package ocaml-base-compiler

Overview
No Docs

You can search for identifiers within the package.

in-package search v0.2.0

Official release 4.14.0

Install

Dune Dependency

ocaml.org Edit opam file Versions (66)

Authors

Xavier Leroy

Maintainers

Sources

4.14.0.tar.gz

sha256=39f44260382f28d1054c5f9d8bf4753cb7ad64027da792f7938344544da155e8

doc/ocamlcommon/CamlinternalMenhirLib/IncrementalEngine/module-type-INSPECTION/index.html

Module type `IncrementalEngine.INSPECTION`

include SYMBOLS

type 'a terminal

type 'a nonterminal

type 'a symbol =

| T : 'a terminal -> 'a symbol
| N : 'a nonterminal -> 'a symbol

type xsymbol =

| X : 'a symbol -> xsymbol

type 'a lr1state

type production

type item = production * int

val compare_terminals : _ terminal -> _ terminal -> int

val compare_nonterminals : _ nonterminal -> _ 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 : _ lr1state -> item list

val lhs : production -> xsymbol

val rhs : production -> xsymbol list

val nullable : _ nonterminal -> bool

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

val xfirst : xsymbol -> _ terminal -> bool

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

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

type 'a env

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