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