Repository navigation

Let the incr and decr stubs accept default=None - #41

Merged

avgvi merged 1 commit into

fix/incr-decr-default-none

Nov 3, 2026

Merged

Let the incr and decr stubs accept default=None#41
avgvi merged 1 commit into
masterfrom
fix/incr-decr-default-none

Commits on Nov 3, 2026
- Let the incr and decr stubs accept default=None and type-check calls that rely on it.
  avgvi
  committed
  2b7b774