let
region_union (fr1,mr1) (fr2,mr2) =
Z
.union fr1 fr2 ,
M
.region_union mr1 mr2