Function: COMMON-LISP:SUBTYPEP¶
Return two values indicating the relationship between type1 and type2. If values are T and T, type1 definitely is a subtype of type2. If values are NIL and T, type1 definitely is not a subtype of type2. If values are NIL and NIL, it couldn’t be determined.
Lambda list¶
(sb-kernel::type1 sb-kernel::type2 &optional sb-kernel::environment)