let
fterm_of_field f = (
D
.
Findex
.get_ind f)