let
user_mark m =
Mark
.merge m.
T
.m1 m.
T
.m2