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