simple-augmented-string

The simple augmented string type.

system

simple-augmented-string length

length

The length of the string (or * , meaning any).

This is the simple version of augmented-string , that is, the string itself is simple. Equivalent to:


(simple-vector 
character
 
length
)