let upd_field s f v = let fmt = format_of_object (Ctypes.object_of f.ftype) in let fid = Findex.get_ind f in let upd = if f.fcomp.cstruct then farray_update else mk_update_ufield in e_app3 upd s fid (e_app2 "encode" fmt v)