package menhirLib

  1. Overview
  2. Docs
Runtime support library for parsers generated by Menhir

Install 

dune-project
 Dependency

gitlab.inria.fr Edit opam file Versions (24)

Authors

  1. F
    François Pottier <francois.pottier@inria.fr>
  2. Y
    Yann Régis-Gianas <yrg@pps.univ-paris-diderot.fr>

Maintainers

  1. F
    francois.pottier@inria.fr

Sources

archive.tar.gz
md5=ca1047954bfe8c857425dc67eee46272
sha512=571e7de852a2ea7d1cbb27fb9fd0b716b6ba1f112d4aedf4548d41f907c9a9b74e1b557a26a7515c2a0e5407de6c2614cea17d51a088d845d4c6ceaec85a0ecb

doc/menhirLib/MenhirLib/EngineTypes/index.html

Module MenhirLib.EngineTypesSource

Sourcetype ('state, 'semantic_value) stack = {
  1. state : 'state;
  2. semv : 'semantic_value;
  3. startp : Lexing.position;
  4. endp : Lexing.position;
  5. next : ('state, 'semantic_value) stack;
}
Sourcetype ('state, 'semantic_value, 'token) env = {
  1. error : bool;
  2. triple : 'token * Lexing.position * Lexing.position;
  3. stack : ('state, 'semantic_value) stack;
  4. current : 'state;
}
Sourcemodule type TABLE = sig ... end
Sourcemodule type MONOLITHIC_ENGINE = sig ... end
Sourcemodule type INCREMENTAL_ENGINE_START = sig ... end
Sourcemodule type ENGINE = sig ... end