pub fn st_within(a: &Geometry, b: &Geometry) -> bool
ST_Within(a, b) — A is fully within B. Equivalent to ST_Contains(b, a).