of

Creates a new, distinct Var named name. Calling this twice with the same name yields two different variables (see the class documentation); use a Scope instead when the same variable must occur more than once in the term(s) being built.

Parameters