let
region_included (fr1,mr1) (fr2,mr2) =
F
.p_and (
Z
.included fr1 fr2) (
M
.region_included mr1 mr2)