package menhirLib

  1. Overview
  2. Docs
package menhirLib
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module InspectionTableInterpreter.SymbolsSource

This functor is invoked inside the generated parser, in --table mode. It produces no code! It simply constructs the types symbol and xsymbol on top of the generated types terminal and nonterminal.

Parameters

module T : sig ... end

Signature

Sourcetype 'a symbol =
  1. | T : 'a T.terminal -> 'a symbol
  2. | N : 'a T.nonterminal -> 'a symbol

The type 'a symbol represents a terminal or nonterminal symbol. It is the disjoint union of the types 'a terminal and 'a nonterminal.

Sourcetype xsymbol =
  1. | X : 'a symbol -> xsymbol

The type xsymbol is an existentially quantified version of the type 'a symbol. This type is useful in situations where 'a is not statically known.