// SPDX-License-Identifier: Apache-2.0
//! Predicates derived directly from the primitive contains/intersects tests.
use Geometry;
use st_contains;
use st_intersects;
/// ST_Within(a, b) — A is fully within B. Equivalent to ST_Contains(b, a).
/// ST_Disjoint(a, b) — no shared space. Inverse of ST_Intersects.