let
subst_pred_mem m1 m2 e =
Fol
.subst_in_pred
M
.prop_in_data m1 (
Fol
.
Tvar
m2) e