let merge ma mb = let m1 = Mark.merge ma.T.m1 mb.T.m1 in let m2 = Mark.merge ma.T.m2 mb.T.m2 in mk_m m1 m2