FREE VARIABLE _ _ _ _ _ _ _ _ _ _ _ _ type

A variable preceded by a tilde is considered as free variable and stands for an arbitrary part in an algebraic form during pattern matching. Free variables occur in the left-hand sides of rules, in the side relations for compact and in the first arguments of map and select calls. See rule for examples.

In rules also optional free variables may occur.