package menhirLib

Overview
Docs

You can search for identifiers within the package.

in-package search v0.2.0

Runtime support library for parsers generated by Menhir

Install

Dune Dependency

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

Authors

F

François Pottier <francois.pottier@inria.fr>
Y

Yann Régis-Gianas <yrg@pps.univ-paris-diderot.fr>

Maintainers

F

francois.pottier@inria.fr

Sources

archive.tar.gz

md5=ca1047954bfe8c857425dc67eee46272

sha512=571e7de852a2ea7d1cbb27fb9fd0b716b6ba1f112d4aedf4548d41f907c9a9b74e1b557a26a7515c2a0e5407de6c2614cea17d51a088d845d4c6ceaec85a0ecb

doc/menhirLib/MenhirLib/Engine/index.html

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

package menhirLib

Install

Dune Dependency

Authors

Maintainers

Sources

doc/menhirLib/MenhirLib/Engine/index.html

Module MenhirLib.EngineSource

Module `MenhirLib.Engine`Source