HANDBOOK / LANGUAGE REFERENCE MANUAL /

# Context Variables

VariableDecl = "'var'" Ident ":" Ident .

A declaration of the form

- `'var'` C `:` T

introduces a context variable C of type T.

The value of a context variable is defined by a context update and is accessed in a context query.

|  | Example
    'var' NestingLevel: INT
defines a context variable `NestingLevel` of type `INT`. This variable may be defined as in
    NestingLevel <- N
and accessed as in
    NestingLevel -> N