Disjointness of Types - MIT/GNU Scheme 9.2
Description: MIT/GNU Scheme 9.2

Next: Storage Model, Previous: External Representations, Up: Scheme Concepts

#### 1.2.7 Disjointness of Types

Every object satisfies at most one of the following predicates (but see True and False, for an exception):

         bit-string?     environment?    port?           symbol?
         boolean?        null?           procedure?      vector?
         cell?           number?         promise?        weak-pair?
         char?           pair?           string?
         condition?