Skip to content

Instantly share code, notes, and snippets.

@pschanely

pschanely/main.py

Created April 3, 2024 09:09
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save pschanely/e0d9777c72b78ed395e6a3b02bcdf9e1 to your computer and use it in GitHub Desktop.
Save pschanely/e0d9777c72b78ed395e6a3b02bcdf9e1 to your computer and use it in GitHub Desktop.
Download ZIP
Shared via CrossHair Playground
Raw
main.py
import collections.abc
def contains_key(s: "collections.abc.Set"):
"""post: True"""
return "key" in s
def contains_key2(s: set):
"""post: True"""
return "key" in s
def contains_key3(s: "collections.abc.Collection"):
"""post: True"""
return "key" in s
def contains_key4(s: "collections.abc.Sequence"):
"""post: True"""
return "key" in s
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment