let in let type ia = array of int type ra = {ia,ia} var t : ia := new ia [ 4 ] of 0 var u : ra := new ra {t,t} in u . 0 [ 2 ] := 2 end; 1 end