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