Coordinates name logical items, not addresses, ranks, or tensor layouts.
A caller may use a stable ordinal enumeration of keys or population IDs.
Half-open intervals allow empty assignments without inventing padding work.
10family LogicalInterval : Type 0
11constructor LogicalIntervalOf
12field unrestricted logicalIntervalBegin : Nat
13field unrestricted logicalIntervalEnd : NatThe compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.