extended-char
The type extended-char is equivalent to the type (and character (not base-char)).
2.3.0 1 2.3.0 2
This next paragraph as added per Barrett's suggestion:The type extended-char might be equivalent to \thetype{nil}
Replaced as controversial. -kmp 4-Feb-92have no elements4 in implementations in which all characters are of type base-char.