let
subst_exp_mem m1 m2 e =
Fol
.subst_in_exp
M
.prop_in_data m1 (
Fol
.
Tvar
m2) e