let
is_top m = (
Mark
.is_top m.
T
.m1)
&&
(
Mark
.is_top m.
T
.m2)