Skip to content

top for membership predicates of collection types#2878

Merged
soutaro merged 1 commit intomasterfrom
predicate-top
Mar 16, 2026
Merged

top for membership predicates of collection types#2878
soutaro merged 1 commit intomasterfrom
predicate-top

Commits

Commits on Mar 13, 2026