let var_data m vi = let get_tau v = D.tau_of_ctype v.vtype in F.data_of_cvar_at_l m.variables m.label vi get_tau