CamlinternalMenhirLib.InspectionTableInterpreter.Symbols.3o

CamlinternalMenhirLib.InspectionTableInterpreter.Symbols ā€” no description

Module

Module Ā  CamlinternalMenhirLib.InspectionTableInterpreter.Symbols

Documentation

Module Symbols
: functor (T : sig end) -> sig end

Parameters:

"T"

sig end

type 'a terminal

type 'a nonterminal

type 'a symbol =
| T : 'a0 terminal -> 'a0 symbol
| N : 'a1 nonterminal -> 'a1 symbol

type xsymbol =
| X : 'a symbol -> xsymbol

Info

2019-08-16 OCamldoc OCaml library