Examples.

declare
X1 = 5
X2
local X1 in
   X1 = 1
   X2 = X1 + 3
end
X3 = X2 + X1
{Browse X2}
{Browse X3}

declare
X
Y = 1
P = proc {$ X ?Z} Z = X + Y end
{P 2 X}
{Browse X}

CSci 4651 course web site.