keyword: individual

One of the primitive judgments.

Individuals are also sometimes called constants.

An individual is identical to a declared variable.

Example:

individual i : t

Where t is some type.

This judgment can be read as "let i be a term of type t" and is admissible if symbol i has not been used up to this point in the development.