let e_update t i v = Tupdate(t,i,v)