Variables

Variables are declared in a local scope, and declaration of a variable has a standard notation:

var <x> : <t> ;;

Here variable x of type t is declared. A list of variables may be declared simultaneously, skipping var keyword and separating individual declarations with comma, like:

<x1> : <t1>, <x2> : <t2>, ... , <xn> : <tn>