let
name_of_field f =
F
.
Findex
.get_ind f