swap

procedureSource

Exchanges the values a and b point to.

swap :: (a: *$T, b: *T)

Example↗

x := 1;
y := 2;
swap(*x, *y);
assert(x == 2 && y == 1);

See also