let
merge_user_marks ma mb =
let
m1 =
Mark
.merge ma.
T
.m1 mb.
T
.m1
in
mk_m m1
Mark
.bottom