Skip to content

Consolidate duplicate numeric-vector type predicates into TypeSemantics#34

Merged
NripeshN merged 1 commit into
mainfrom
hir/consolidate-numeric-vector-predicate
Jun 21, 2026
Merged

Consolidate duplicate numeric-vector type predicates into TypeSemantics#34
NripeshN merged 1 commit into
mainfrom
hir/consolidate-numeric-vector-predicate

Commits

Commits on Jun 21, 2026