Movatterモバイル変換

Supertypes:

extended-char,character,t

Description:

Thetypeextended-char is equivalent to thetype(and character (not base-char)).

Notes:

Thetypeextended-char might have noelements[4] inimplementations in which allcharacters are oftypebase-char.

• CHARACTER-VS-CHAR:LESS-INCONSISTENT-SHORT
• CHARACTER-PROPOSAL:2-3-1