var

var <var-name> : <sort-name>

Declares a variable <var-name> to be of sort <sort-name>. The scope of the variable is the current module. Redeclarations of variable names are not allowed. Several variable of the same sort can be declared at the same time using the vars construct:

vars <var-name> ... : <sort-name>

Related: on-the-fly, qualified term, op