type specifiers

[Timothy Daly <DALY@ibm.com>]

CLtL states that
  (SIMPLE-VECTOR *) is an abbreviation for (VECTOR T *)
 except that the elements are of type simple vector (p47)

CLtL states that
 If a type specifier is a list, the car of the list is a symbol
and the rest of the list is subsidiary type information. ... (p42)

CLtL state that
 As a convenience, if a list has one or more unspecified items
at the end, such items may simply be dropped rather than writing
an explicit * for each one. (p43)

Is (SIMPLE-VECTOR T) valid? (semantics: (SIMPLE-VECTOR T *))

tim
DALY@IBM.COM