Go backward to Lambda Abstraction Introduction Go up to Top Go forward to Full Language

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