let var x : 1 : 10 in x := 10 end