let type x = {string,string} var x := new x{"3","x"} in x.0 = x.1 end