let var_data_term m vi = F.term_of_data (var_data m vi)