Reference: swap

swap(a, b) swaps the identifiers a and b. a and b are strings containing the identifiers of two variables.

swap(a, b) is equivalent to

tmp ≔ a
a ≔ b
b ≔ tmp
delete("tmp")

(where "tmp" is a preveously non-existing variable).