let
name_of_var vi :
D
.name =
D
.
Xindex
.get_ind vi