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 Changelog Edit opam file Versions (11)

Authors

G

Guillaume Bury <guillaume.bury@gmail.com>

Maintainers

G

Guillaume Bury <guillaume.bury@gmail.com>

Sources

dolmen-v0.6.tbz

sha256=81b034da2de84da19fb6368aaa39135f6259ee2773ff08c8f03da9ceeb10748c

sha512=98786ff1cc5b0c8bc4cb2dfe756ae15556c3876a206546b04374826be7d0a422dd5526d93f09cb0ea0d4985b71c408c182a951d4df908399c7e04b17c91a7d70

doc/dolmen_smtlib2_poly/Dolmen_smtlib2_poly/Make/argument-2-I/index.html

Parameter `Make.I`

type t

The type of identifiers

type namespace

Namespace for identifiers

val sort : namespace

val term : namespace

val attr : namespace

The namespace for sorts (also called typee), terms and attributes, respectively.

val mk : namespace -> string -> t

Make an identifier from a name and namespace. Indexed identifiers (which are a list of names), are encoded into a single string with the '\000' character as separator (since it cannot appear in any symbol from smtlib).