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?