# 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;