package dolmen

  1. Overview
  2. Docs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module type Dolmen_ae.IdSource

Sourcetype t

The type of identifiers

Sourcetype namespace

The type for namespaces.

Sourceval var : namespace

Used for type variables.

Sourceval term : namespace

Usual namespace, used for terms and propositions.

Sourceval sort : namespace

Usual namespace, used for types.

Sourceval decl : namespace

Names used to refer to tptp phrases. These are used in declarations and include statement.

Sourceval track : namespace

Namespace used to tag and identify sub-terms occuring in files.

Sourceval mk : namespace -> string -> t

Make an identifier

Sourceval tracked : track:t -> namespace -> string -> t

Make an identifier with an additional name.

OCaml

Innovation. Community. Security.