Module bounds 

Axis-aligned bounding boxes.

Every use of a bounding box in a kernel is a rejection test: cull this pair, skip this subtree, prune this branch. So the one property that matters is that a box genuinely contains what it claims to. A box that is too large costs time; a box that is too small silently drops a real intersection, and nothing downstream can tell.

Everything that produces an Aabb here therefore errs outward, and says how. Sampling a curve at a few parameters and taking the extremes would not qualify: the curve bulges between the samples.

Structs

Aabb

An axis-aligned box, or the empty box.