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.class/Dolmen_class/Logic/Make/argument-2-I/index.html

Parameter `Make.I`

type t

The type of identifiers.

type namespace

The type of namespaces. Namespaces are used to distinguish identifiers with the same name, but that occur in different contexts. For instance, in smtlib, sorts and terms live in different namespaces; so a term constant can have the same name as a sort, and still be syntactically different.

val sort : namespace

The namespace for sorts (also called types). Currently only used for smtlib.

val term : namespace

The usual namespace for terms.

val attr : namespace

Namespace used for attributes (also called annotations) in smtlib.

val decl : namespace

Namespace used for declaration identifiers (for instance used to filter declarations during includes)

val mod_name : string -> namespace

Namespace used by modules (for instance in dedulkti).

val mk : namespace -> string -> t

Make an identifier from its namespace and name.