Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
package menhirGLR
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Module MenhirGLR.TableInterpreterSource
This module decodes the tables generated by the GLR back-end and provides an API that is suitable for use by the GLR engine.
Source
module Make
(T : TableFormat.TABLES) :
GLRAPI.DATA
with type state = int
and type token = T.token
and type nonterminal = int
and type semv = Obj.t
and type production = int