let var a := let var x := 2 var y := 3 in x + y end in a end