Skip to content

Instantly share code, notes, and snippets.

@pschanely

pschanely/main.py

Created July 14, 2025 18:45
Show Gist options
  • Save pschanely/d76ae82e8d6a58fcae6b4dda842d39fd to your computer and use it in GitHub Desktop.
Save pschanely/d76ae82e8d6a58fcae6b4dda842d39fd to your computer and use it in GitHub Desktop.
Download ZIP
Shared via CrossHair Playground
Raw
main.py
from typing import TypeAlias
MyIntOld: TypeAlias = int
type MyIntNew = int
def make_bigger(n: MyIntOld) -> int:
'''
post: __return__ != 0
'''
return 2 * n + 10
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment