let region_separated (fr1,mr1) (fr2,mr2) =
    F.p_and (Z.separated fr1 fr2) (M.region_separated mr1 mr2)