Language Reference/Constants

Constants Sections
A constants section defines a set of constants in the current scope.

 : constants -dot-term-list-opt

Constant Definitions
A constant definition defines a named constant, its type, and its value.

: one of    =   :  = 

: 

The  should be an expression, which can be evaluated at compile time and it should have the type of the correspondent domain. The  should be a.

The can be omitted only for the following built-in domains:


 * 1) Numerical (i.e. integral or real) constants. In this case, the corresponding anonymous numerical domain is adopted for a constant (see the for details).
 * 2) constants.
 * 3) constants.
 * 4) constants.