Module `MenhirLib.TableInterpreter`

module MakeEngineTable
  (T : MenhirLib.TableFormat.TABLES) : 
  MenhirLib.EngineTypes.TABLE
    with type state = int
     and type token = T.token
     and type semantic_value = Stdlib.Obj.t
     and type production = int
     and type terminal = int
     and type nonterminal = int

This module provides a thin decoding layer for the generated tables, thus providing an API that is suitable for use by Engine.Make.

Module MenhirLib.TableInterpreter

Module `MenhirLib.TableInterpreter`