From 98f348a1704e70b6d4c2f742643d61e695a17011 Mon Sep 17 00:00:00 2001 From: Erez Shinan Date: Sat, 16 Mar 2024 14:36:32 +0100 Subject: [PATCH] Fix docs --- runtype/base_types.py | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/runtype/base_types.py b/runtype/base_types.py index b271cad..19e39b6 100644 --- a/runtype/base_types.py +++ b/runtype/base_types.py @@ -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) @@ -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)