Skip to content

Type the remaining 13 mixins, closing the *Ops attribute gap entirely - #407

Merged
dovvnloading merged 1 commit into
mainfrom
refactor/type-the-remaining-mixins
Sep 4, 2026
Merged

Type the remaining 13 mixins, closing the *Ops attribute gap entirely#407
dovvnloading merged 1 commit into
mainfrom
refactor/type-the-remaining-mixins

Commits

Commits on Sep 4, 2026