package ocaml-base-compiler

You can search for identifiers within the package.

in-package search v0.2.0

Official release 5.2.1

Install

Dune Dependency

ocaml.org Edit opam file Versions (99)

Authors

Xavier Leroy

Maintainers

Sources

ocaml-5.2.1.tar.gz

sha256=2d0f8090951a97a2c0e5b8a11e90096c0e1791d2e471e4a67f87e3b974044cd0

doc/compiler-libs.common/CamlinternalMenhirLib/InspectionTableInterpreter/Make/index.html

Module `InspectionTableInterpreter.Make`

Parameters

module TT : TableFormat.TABLES

module IT : InspectionTableFormat.TABLES with type 'a lr1state = int

module ET : 
  EngineTypes.TABLE
    with type terminal = int
     and type nonterminal = int
     and type semantic_value = Obj.t

module E : sig ... end

Signature

include IncrementalEngine.SYMBOLS
  with type 'a terminal := 'a IT.terminal
  with type 'a nonterminal := 'a IT.nonterminal

type 'a symbol =

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

type xsymbol =

| X : 'a symbol -> xsymbol

type item = int * int

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

val compare_nonterminals : _ IT.nonterminal -> _ IT.nonterminal -> int

val compare_symbols : xsymbol -> xsymbol -> int

val compare_productions : int -> int -> int

val compare_items : item -> item -> int

val incoming_symbol : 'a IT.lr1state -> 'a symbol

val items : _ IT.lr1state -> item list

val lhs : int -> xsymbol

val rhs : int -> xsymbol list

val nullable : _ IT.nonterminal -> bool

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

val xfirst : xsymbol -> _ IT.terminal -> bool

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

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

val feed : 
  'a symbol ->
  IncrementalEngine.position ->
  'a ->
  IncrementalEngine.position ->
  'b E.env ->
  'b E.env

On This Page

Parameters
Signature