Supertypes:
extended-char, character, t
Description:
The type extended-char is equivalent to the type (and character (not base-char)).
Notes:
The type extended-char might have no elements[4] in implementations in which all characters are of type base-char.