Type extended-char

Supertypes:

extended-char, character, t

Description:

The type extended-char is equivalent to the type (and character (not base-char)).

2.3.0 1 2.3.0 2

Notes:

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.