package dolmen

You can search for identifiers within the package.

in-package search v0.2.0

A parser library

Install

Dune Dependency

github.com Readme Edit opam file Versions (11)

Authors

G

Guillaume Bury

Maintainers

G

guillaume.bury@gmail.com

Sources

dolmen-0.4.1.tar.gz

md5=55a97ff61dd8398e38570272ae7e3964

sha512=83f71037eb568d5449ff2d968cb50a0b105c9712e0bd29497d1f95683698f394860a11d4dee2a2a41163504e395ef068c3974901fca11894d671684fe438fc51

doc/dolmen.intf/Dolmen_intf/Id/index.html

Module `Dolmen_intf.Id`Source

Interfaces for Identifiers. This module defines Interfaces that implementation of identifiers must respect in order to be used to instantiated the corresponding language classes.

Signature for Logic languages

Sourcemodule type Logic = sig ... end

On This Page

Signature for Logic languages