Skip to content

Rename the Connective arm Cardinality to Occupancy: one name, one meaning (re-derives #13377) - #13711

Merged
gunbai-bot[bot] merged 18 commits into
mainfrom
session/jolly-ibex-327-occupancy
Oct 11, 2026
Merged

Rename the Connective arm Cardinality to Occupancy: one name, one meaning (re-derives #13377)#13711
gunbai-bot[bot] merged 18 commits into
mainfrom
session/jolly-ibex-327-occupancy

Occupancy: rename the connective's target-projection family (TargetTy…

b1ffb88
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar