mypy-play/main.py

Created June 9, 2026 14:40

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/790ec23819f191c250a9574f2b123d8d.js"></script>
Save mypy-play/790ec23819f191c250a9574f2b123d8d 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