let
fterm_of_field_access e f =
D
.acc_field e f