13.2.4 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_4 in implementations in which all characters are of type base-char.