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