Skip to content

Commit

Permalink
Fix docs
Browse files Browse the repository at this point in the history
  • Loading branch information
erezsh committed Mar 16, 2024
1 parent 6bdd480 commit 98f348a
Showing 1 changed file with 3 additions and 3 deletions.
6 changes: 3 additions & 3 deletions runtype/base_types.py
Original file line number Diff line number Diff line change
Expand Up @@ -50,7 +50,7 @@ def __mul__(self, other: _Type):
class AnyType(Type):
"""Represents the Any type.
Any may contains any other type.
Any may contain any other type, and be contained by any other type.
For any type 't' within the typesystem, t is a subtype of Any (or: t <= Any)
But also Any is a subtype of t (or: Any <= t)
Expand Down Expand Up @@ -319,12 +319,12 @@ def eq(self: PhantomGenericType, other: PhantomGenericType):

@dp(priority=100)
def le(self: Type, other: AllType):
# Any contains all types
# All contains all types
return True

@dp
def le(self: type, other: AllType):
# Any contains all types
# All contains all types
return True

@dp(priority=2)
Expand Down

0 comments on commit 98f348a

Please sign in to comment.