region_xyz0 function

Planar region $\{(x, y): a \leq x \leq b, H1(x) \leq y \leq H2(x)\}$ drawn at height z0