Example

with M = lambdaX:intloc.
      (A=loc$$₁, P=lambdaY:intexp.X:=Y) do
   with M loc$$₁ do
      P (@A+1)

begin module M(X: intloc) =
      {alias A=loc$$₁, proc P(Y: intexp) = X:=Y}
   in begin import M(loc$$₁) in
      call P(@A+1)
   end end