Module coordset 

Coordinate set with per-coord classification — spec §10.9.2.

The predicate analyzer takes a CoordSet (not a bare list of names) so it can detect continuous-coord references and mark them Opaque(Continuous). The set’s per-coord kind is supplied by the caller — typically derived from the wrapped comprehension’s metadata (Metadata::index_addressable variant + cardinality classification).

Structs

CoordInfo

A coordinate’s name plus its discrete/continuous classification.

CoordSet

Coordinate-name set with per-coord classification. Preserves declaration order so the analyzer’s output (and downstream R5) sees axes in the same order they appear in the wrapped comprehension’s tuple shape.

Enums

CoordKind

Coordinate cardinality classification used by the predicate analyzer. Mirrors the discrete-vs-continuous split that drives OpaqueReason::Continuous.