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