let
minus ma mb =
mk_m (
Mark
.minus ma.
T
.m1 mb.
T
.m1) (
Mark
.minus ma.
T
.m2 mb.
T
.m2)