let pretty fmt m = let pm fmt m = Format.fprintf fmt "%a" Mark.pretty m in Format.fprintf fmt "<%a,%a>" pm m.T.m1 pm m.T.m2