extended-char (Type)

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₄

in implementations in which all characters are of type base-char.