Skip to content

feat(ir)!: give a tuple a typed rest and collection bounds - #734

Merged
OmarAlJarrah merged 8 commits into
mainfrom
feat/ir-tuple-openness-bounds
Oct 13, 2026
Merged

feat(ir)!: give a tuple a typed rest and collection bounds#734
OmarAlJarrah merged 8 commits into
mainfrom
feat/ir-tuple-openness-bounds

docs(ir): say a fixed tuple has no Rest; list Model under Constraints

38ba8cb
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar