package menhirCST

You can search for identifiers within the package.

in-package search v0.2.0

Runtime support library for unparsers generated by Menhir

Install

dune-project

Dependency

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

Authors

F

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

Maintainers

F

francois.pottier@inria.fr

Sources

archive.tar.gz

md5=9dc415bda0e3dd274892d59876630ee5

sha512=2a06d7411ff02b45de1ac27fe124cd22b78f8fd400f708e8be1ed93ff0749c024abd142486ac5375ecde82333d9b9c860f962f5598519c45dd6ee65008b86230

doc/menhirCST/MenhirCST/index.html

Module `MenhirCST`Source

Sourcemodule Settle : sig ... end

This module offers a type of concrete syntax trees (CSTs), a type of disjunctive concrete syntax trees (DCSTs), and a resolution algorithm, which converts a DCST to a viable CST.