Module `MenhirLib.Engine`Source

Source

module Make
  (T : EngineTypes.TABLE) : 
  EngineTypes.ENGINE
    with type state = T.state
     and type token = T.token
     and type semantic_value = T.semantic_value
     and type production = T.production
     and type 'a env = (T.state, T.semantic_value, T.token) EngineTypes.env

The LR parsing engine.

Module MenhirLib.EngineSource

Module `MenhirLib.Engine`Source