let
fterm_of_mu_index t i v =
D
.upd_index t i v