Skip to content

improving shared-value property factoring#398

Merged
keighrim merged 2 commits into
developfrom
396-common-prop-factoring
Jul 8, 2026
Merged

improving shared-value property factoring#398
keighrim merged 2 commits into
developfrom
396-common-prop-factoring

generalizing factor-out of shared-value annotation props into `contains`

4f7f523
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar