let
rec
combined_marks cm =
let
add_m m (_, m2) =
M
.merge m m2
in
Signature
.fold add_m
M
.bottom cm