Expand description
Boundary, length and zero-sized-type helper checks. Boundary and size-related contract helpers.
This module owns checks that reason about object extents, element counts,
and zero-sized types. InBound is currently conservative because the graph
now stores expression-shaped length contracts but does not yet discharge all
numeric relationships.