Skip to content

The where-refinement predicate vocabulary, joined to the compiler that decides it - #10304

Merged
gunbai-bot[bot] merged 5 commits into
mainfrom
session/calm-eagle-759
Sep 4, 2026
Merged

The where-refinement predicate vocabulary, joined to the compiler that decides it#10304
gunbai-bot[bot] merged 5 commits into
mainfrom
session/calm-eagle-759

Name the collision assertion, and bound the population it ranges over

e0f8919
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar