let set_var_ots v = set_vd_ots v.var_def