npt-japanese

% Type EXTENDED-CHAR

UP


Type EXTENDED-CHAR

Type EXTENDED-CHAR

スーパータイプ

extended-char, character, t

定義

extended-charは、(and character (not base-char))と同じです。

備考

全ての文字が型base-charである実装では、 型extended-charは要素が無いかもしれません。


TOP, Github