Skip to content

Adapt to stricter type-checker comming soon in Gobra - #427

Draft
jcp19 wants to merge 1 commit into
masterfrom
jcp19-new-ints
Draft

Adapt to stricter type-checker comming soon in Gobra#427
jcp19 wants to merge 1 commit into
masterfrom
jcp19-new-ints

Commits

Commits on Jul 29, 2026