Scieneer Common Lisp 1.3.9 online documentation subtypep type1 type2 &optional environment [Function] Return two values indicating the relationship between type1 and type2:
- t and t
- type1 definitely is a subtype of type2.
- nil and t
- type1 definitely is not a subtype of type2.
- nil and nil
- who knows?