let
fterm_of_mu_field s f e =
D
.upd_field s f e