package ocaml-base-compiler

You can search for identifiers within the package.

in-package search v0.2.0

Official release 5.1.1

Install

Dune Dependency

ocaml.org Edit opam file Versions (99)

Authors

Xavier Leroy

Maintainers

Sources

5.1.1.tar.gz

sha256=57f7b382b3d71198413ede405d95ef3506f1cdc480cda1dca1e26b37cb090e17

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