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