Variables

A variable a of type A is declared as follows:

a:A;

A variable may be given an initial value when declared:

a:A <- b;