6.31 Miscellaneous built-in types

Type annotation: <&who-value>

The type of the field in the built–in condition object type &who. Its definition is equivalent to:

(define-type <&who-value>
  (or <false> <symbol> <string>))

Type annotation: <file-descriptor>

The type of file descriptor values. Its definition is equivalent to:

(define-type <file-descriptor>
  <non-negative-fixnum>)

Type annotation: <type-descriptor>

Type annotation of type descriptors. Its definition is equivalent to:

(define-type <type-descriptor>
  (or <core-type-descriptor> <struct-type-descriptor>
      <record-type-descriptor> <record-constructor-descriptor>
      <pair-type-descr> <pair-of-type-descr>
      <list-type-descr> <list-of-type-descr>
      <vector-type-descr>
      <vector-of-type-descr>
      <nevector-of-type-descr>
      <enumeration-type-descr>
      <closure-type-descr>
      <ancestor-of-type-descr>
      <hashtable-type-descr>
      <alist-type-descr>
      <union-type-descr>
      <intersection-type-descr>
      <complement-type-descr>
      <interface-type-descr>))