A string is a specialized vector whose elements are of type character or a subtype of type character. When used as a type specifier for object creation, string means (vector character)
.
Abbreviating.
string [size]
This denotes the union of all types (array c (size))
for all subtypes c of character; that is, the set of strings of size size.
\issue{CHARACTER-PROPOSAL:2-3-2} \issue{CHARACTER-PROPOSAL:2-3-3} \issue{ARRAY-DIMENSION-IMPLICATIONS:ALL-FIXNUM}