Module MenhirGLR.TableFormatSource

To find out how the values discussed below are encoded at the bit level, please see TableInterpreter and GLRBackend.

Sourcemodule type TABLES = sig ... end

This signature defines the format of the parse tables. It is used as an argument to TableInterpreter.Make.