CLCS

Declarations

Declarations provide a way of specifying information for use by program processors, such as the evaluator or the compiler.

Local declarations

can be embedded in executable code using declare. Global declarations , or proclamations , are established by proclaim or declaim.

The the special form provides a shorthand notation for making a local declaration about the type of the value of a given form.

The consequences are undefined if a program violates a declaration or a proclamation.