[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Issue: SUBTYPEP-EMPTY-NIL (Version 1)

   If CLtL is clear and I've just missed the passage, by all means cite it.  

CLtL p72: "If a data type is viewed as the set of all objects belonging to the
type, then the TYPEP function is a set membership test, while SUBTYPEP is a
subset test."