BatUCharSourceUnicode characters.
This module implements Unicode characters.
char_of u returns the Latin-1 representation of u. If u can not be represented by Latin-1, raises Out_of_range
chr n returns the Unicode character with the code number n. If n does not lay in the valid range of Unicode or designates a surrogate character, raises Out_of_range
compare u1 u2 returns, a value > 0 if u1 has a larger Unicode code number than u2, 0 if u1 and u2 are the same Unicode character, a value < 0 if u1 has a smaller Unicode code number than u2.