Go backward to Record Introduction Go up to Top Go forward to Lambda Abstraction Introduction

Example

with A=loc₁ do
   with M = (P = A:=@A+1) do
      with M, F=0 do
         A:=F; P

begin alias A=loc₁ in
   begin module M = {proc P = A:=@A+1} in
      begin import M, fun F=0 in
         A:=F; call P
      end
   end
end