mypy-play/main.py

Created June 9, 2026 14:37

Star (0) You must be signed in to star a gist
Fork (0) You must be signed in to fork a gist

Select an option

Learn more about clone URLs
Clone this repository at <script src="https://gist.github.com/mypy-play/446fc3b4a5f2c019ddf6d015ba0c3f87.js"></script>
Save mypy-play/446fc3b4a5f2c019ddf6d015ba0c3f87 to your computer and use it in GitHub Desktop.

Download ZIP

Shared via mypy Playground

Raw

main.py

	import signal

	1 in (i for i in (signal.SIGINT,))
	1 in [i for i in (signal.SIGINT,)]

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment