diff options
| author | Graydon Hoare <graydon@mozilla.com> | 2011-12-23 18:48:08 -0800 |
|---|---|---|
| committer | Graydon Hoare <graydon@mozilla.com> | 2011-12-23 18:48:08 -0800 |
| commit | ac13f0da9ee2b51938e574b39f9537d2e66c5192 (patch) | |
| tree | b3691b6ef2717c4f2438b78fc04c2424210e330b | |
| parent | 88d74993d8609af50ad7b78d6ada17c9593e7c3b (diff) | |
| download | rust-ac13f0da9ee2b51938e574b39f9537d2e66c5192.tar.gz rust-ac13f0da9ee2b51938e574b39f9537d2e66c5192.zip | |
Add support to libcore for encoded-in-rust unicode character properties, at least. Add script to compute them from unicode.org.
| -rwxr-xr-x | src/etc/unicode.py | 172 | ||||
| -rw-r--r-- | src/libcore/char.rs | 143 | ||||
| -rw-r--r-- | src/libcore/core.rc | 3 | ||||
| -rw-r--r-- | src/libcore/unicode.rs | 4683 |
4 files changed, 4919 insertions, 82 deletions
diff --git a/src/etc/unicode.py b/src/etc/unicode.py new file mode 100755 index 00000000000..f52335a9cab --- /dev/null +++ b/src/etc/unicode.py @@ -0,0 +1,172 @@ +#!/usr/bin/env python + +# This digests UnicodeData.txt and DerivedCoreProperties.txt and emits rust +# code covering the core properties. Since this is a pretty rare event we +# just store this out-of-line and check the unicode.rs file into git. +# +# The emitted code is "the minimum we think is necessary for libcore", that +# is, to support basic operations of the compiler and "most nontrivial rust +# programs". It is not meant to be a complete implementation of unicode. +# For that we recommend you use a proper binding to libicu. + +import fileinput, re, os, sys + + +def fetch(f): + if not os.path.exists(f): + os.system("curl -O http://www.unicode.org/Public/UNIDATA/%s" + % f) + + if not os.path.exists(f): + sys.stderr.write("cannot load %s" % f) + exit(1) + + +def load_general_categories(f): + fetch(f) + gencats = {} + curr_cat = "" + c_lo = 0 + c_hi = 0 + for line in fileinput.input(f): + fields = line.split(";") + if len(fields) != 15: + continue + [code, name, gencat, combine, bidi, + decomp, deci, digit, num, mirror, + old, iso, upcase, lowcsae, titlecase ] = fields + + code = int(code, 16) + + if curr_cat == "": + curr_cat = gencat + c_lo = code + c_hi = code + + if curr_cat == gencat: + c_hi = code + else: + if curr_cat not in gencats: + gencats[curr_cat] = [] + + gencats[curr_cat].append((c_lo, c_hi)) + curr_cat = gencat + c_lo = code + c_hi = code + return gencats + + +def load_derived_core_properties(f): + fetch(f) + derivedprops = {} + interestingprops = ["XID_Start", "XID_Continue", "Alphabetic"] + re1 = re.compile("^([0-9A-F]+) +; (\w+)") + re2 = re.compile("^([0-9A-F]+)\.\.([0-9A-F]+) +; (\w+)") + + for line in fileinput.input(f): + prop = None + d_lo = 0 + d_hi = 0 + m = re1.match(line) + if m: + d_lo = m.group(1) + d_hi = m.group(1) + prop = m.group(2) + else: + m = re2.match(line) + if m: + d_lo = m.group(1) + d_hi = m.group(2) + prop = m.group(3) + else: + continue + if prop not in interestingprops: + continue + d_lo = int(d_lo, 16) + d_hi = int(d_hi, 16) + if prop not in derivedprops: + derivedprops[prop] = [] + derivedprops[prop].append((d_lo, d_hi)) + return derivedprops + +def escape_char(c): + if c <= 0xff: + return "'\\x%2.2x'" % c + if c <= 0xffff: + return "'\\u%4.4x'" % c + return "'\\U%8.8x'" % c + +def emit_rust_module(f, mod, tbl): + f.write("mod %s {\n" % mod) + keys = tbl.keys() + keys.sort() + for cat in keys: + f.write(" pure fn %s(c: char) -> bool {\n" % cat) + f.write(" ret alt c {\n") + prefix = ' ' + for pair in tbl[cat]: + if pair[0] == pair[1]: + f.write(" %c %s\n" % + (prefix, escape_char(pair[0]))) + else: + f.write(" %c %s to %s\n" % + (prefix, + escape_char(pair[0]), + escape_char(pair[1]))) + prefix = '|' + f.write(" { true }\n") + f.write(" _ { false }\n") + f.write(" };\n") + f.write(" }\n\n") + f.write("}\n") + + +def emit_cpp_module(f, mod, tbl): + keys = tbl.keys() + keys.sort() + + for cat in keys: + + singles = [] + ranges = [] + + for pair in tbl[cat]: + if pair[0] == pair[1]: + singles.append(pair[0]) + else: + ranges.append(pair) + + f.write("bool %s_%s(unsigned c) {\n" % (mod, cat)) + for pair in ranges: + f.write(" if (0x%x <= c && c <= 0x%x) { return true; }\n" + % pair) + if len(singles) > 0: + f.write(" switch (c) {\n"); + for single in singles: + f.write(" case 0x%x:\n" % single) + f.write(" return true;\n"); + f.write(" default:\n"); + f.write(" return false;\n"); + f.write(" }\n") + f.write("return false;\n") + f.write("}\n\n") + + +def emit_module(rf, cf, mod, tbl): + emit_rust_module(rf, mod, tbl) + emit_cpp_module(cf, mod, tbl) + +r = "unicode.rs" +c = "unicode.cpp" +for i in [r, c]: + if os.path.exists(i): + os.remove(i); + +rf = open(r, "w") +cf = open(c, "w") + +emit_module(rf, cf, "general_category", + load_general_categories("UnicodeData.txt")) + +emit_module(rf, cf, "derived_property", + load_derived_core_properties("DerivedCoreProperties.txt")) diff --git a/src/libcore/char.rs b/src/libcore/char.rs index 2648c8481df..7d8ac4ba33a 100644 --- a/src/libcore/char.rs +++ b/src/libcore/char.rs @@ -5,95 +5,74 @@ Utilities for manipulating the char type */ /* + Lu Uppercase_Letter an uppercase letter + Ll Lowercase_Letter a lowercase letter + Lt Titlecase_Letter a digraphic character, with first part uppercase + Lm Modifier_Letter a modifier letter + Lo Other_Letter other letters, including syllables and ideographs + Mn Nonspacing_Mark a nonspacing combining mark (zero advance width) + Mc Spacing_Mark a spacing combining mark (positive advance width) + Me Enclosing_Mark an enclosing combining mark + Nd Decimal_Number a decimal digit + Nl Letter_Number a letterlike numeric character + No Other_Number a numeric character of other type + Pc Connector_Punctuation a connecting punctuation mark, like a tie + Pd Dash_Punctuation a dash or hyphen punctuation mark + Ps Open_Punctuation an opening punctuation mark (of a pair) + Pe Close_Punctuation a closing punctuation mark (of a pair) + Pi Initial_Punctuation an initial quotation mark + Pf Final_Punctuation a final quotation mark + Po Other_Punctuation a punctuation mark of other type + Sm Math_Symbol a symbol of primarily mathematical use + Sc Currency_Symbol a currency sign + Sk Modifier_Symbol a non-letterlike modifier symbol + So Other_Symbol a symbol of other type + Zs Space_Separator a space character (of various non-zero widths) + Zl Line_Separator U+2028 LINE SEPARATOR only + Zp Paragraph_Separator U+2029 PARAGRAPH SEPARATOR only + Cc Control a C0 or C1 control code + Cf Format a format control character + Cs Surrogate a surrogate code point + Co Private_Use a private-use character + Cn Unassigned a reserved unassigned code point or a noncharacter +*/ + +import is_alphabetic = unicode::derived_property::Alphabetic; +import is_XID_start = unicode::derived_property::XID_Start; +import is_XID_continue = unicode::derived_property::XID_Continue; + +/* Function: is_whitespace -Indicates whether a character is whitespace. +Indicates whether a character is whitespace, defined in terms of +the Unicode General Categories 'Zs', 'Zl', 'Zp' and the additional +'Cc'-category control codes in the range [0x09, 0x0d]. -Whitespace characters include space (U+0020), tab (U+0009), line feed -(U+000A), carriage return (U+000D), and a number of less common -ASCII and unicode characters. */ pure fn is_whitespace(c: char) -> bool { - const ch_space: char = '\u0020'; - const ch_ogham_space_mark: char = '\u1680'; - const ch_mongolian_vowel_sep: char = '\u180e'; - const ch_en_quad: char = '\u2000'; - const ch_em_quad: char = '\u2001'; - const ch_en_space: char = '\u2002'; - const ch_em_space: char = '\u2003'; - const ch_three_per_em_space: char = '\u2004'; - const ch_four_per_em_space: char = '\u2005'; - const ch_six_per_em_space: char = '\u2006'; - const ch_figure_space: char = '\u2007'; - const ch_punctuation_space: char = '\u2008'; - const ch_thin_space: char = '\u2009'; - const ch_hair_space: char = '\u200a'; - const ch_narrow_no_break_space: char = '\u202f'; - const ch_medium_mathematical_space: char = '\u205f'; - const ch_ideographic_space: char = '\u3000'; - const ch_line_separator: char = '\u2028'; - const ch_paragraph_separator: char = '\u2029'; - const ch_character_tabulation: char = '\u0009'; - const ch_line_feed: char = '\u000a'; - const ch_line_tabulation: char = '\u000b'; - const ch_form_feed: char = '\u000c'; - const ch_carriage_return: char = '\u000d'; - const ch_next_line: char = '\u0085'; - const ch_no_break_space: char = '\u00a0'; - - if c == ch_space { - true - } else if c == ch_ogham_space_mark { - true - } else if c == ch_mongolian_vowel_sep { - true - } else if c == ch_en_quad { - true - } else if c == ch_em_quad { - true - } else if c == ch_en_space { - true - } else if c == ch_em_space { - true - } else if c == ch_three_per_em_space { - true - } else if c == ch_four_per_em_space { - true - } else if c == ch_six_per_em_space { - true - } else if c == ch_figure_space { - true - } else if c == ch_punctuation_space { - true - } else if c == ch_thin_space { - true - } else if c == ch_hair_space { - true - } else if c == ch_narrow_no_break_space { - true - } else if c == ch_medium_mathematical_space { - true - } else if c == ch_ideographic_space { - true - } else if c == ch_line_tabulation { - true - } else if c == ch_paragraph_separator { - true - } else if c == ch_character_tabulation { - true - } else if c == ch_line_feed { - true - } else if c == ch_line_tabulation { - true - } else if c == ch_form_feed { - true - } else if c == ch_carriage_return { - true - } else if c == ch_next_line { - true - } else if c == ch_no_break_space { true } else { false } + ret ('\x09' <= c && c <= '\x0x0d') + || unicode::general_category::Zs(c) + || unicode::general_category::Zl(c) + || unicode::general_category::Zp(c); +} + +/* +Function: is_alphanumeric + +Indicates whether a character is alphanumeric, defined in terms of +the Unicode General Categories 'Nd', 'Nl', 'No' and the Derived +Core Property 'Alphabetic'. + +*/ + +pure fn is_alphanumeric(c: char) -> bool { + ret unicode::derived_property::Alphabetic(c) || + unicode::general_category::Nd(c) || + unicode::general_category::Nl(c) || + unicode::general_category::No(c); } + /* Function: to_digit diff --git a/src/libcore/core.rc b/src/libcore/core.rc index e35b2c0397e..f0dc1cc4e0f 100644 --- a/src/libcore/core.rc +++ b/src/libcore/core.rc @@ -30,6 +30,9 @@ mod u64; mod vec; mod bool; +// For internal use by char, not exported +mod unicode; + // Ubiquitous-utility-type modules diff --git a/src/libcore/unicode.rs b/src/libcore/unicode.rs new file mode 100644 index 00000000000..aacf40d2548 --- /dev/null +++ b/src/libcore/unicode.rs @@ -0,0 +1,4683 @@ +mod general_category { + pure fn Cc(c: char) -> bool { + ret alt c { + '\x00' to '\x1f' + | '\x7f' to '\x9f' + { true } + _ { false } + }; + } + + pure fn Cf(c: char) -> bool { + ret alt c { + '\xad' + | '\u0600' to '\u0603' + | '\u06dd' + | '\u070f' + | '\u17b4' to '\u17b5' + | '\u200b' to '\u200f' + | '\u202a' to '\u202e' + | '\u2060' to '\u206f' + | '\ufeff' + | '\ufff9' to '\ufffb' + | '\U000110bd' + | '\U0001d173' to '\U0001d17a' + | '\U000e0001' to '\U000e007f' + { true } + _ { false } + }; + } + + pure fn Co(c: char) -> bool { + ret alt c { + '\ue000' to '\uf8ff' + { true } + _ { false } + }; + } + + pure fn Cs(c: char) -> bool { + ret alt c { + '\ud800' to '\udfff' + { true } + _ { false } + }; + } + + pure fn Ll(c: char) -> bool { + ret alt c { + '\x61' to '\x7a' + | '\xaa' + | '\xb5' + | '\xba' + | '\xdf' to '\xf6' + | '\xf8' to '\xff' + | '\u0101' + | '\u0103' + | '\u0105' + | '\u0107' + | '\u0109' + | '\u010b' + | '\u010d' + | '\u010f' + | '\u0111' + | '\u0113' + | '\u0115' + | '\u0117' + | '\u0119' + | '\u011b' + | '\u011d' + | '\u011f' + | '\u0121' + | '\u0123' + | '\u0125' + | '\u0127' + | '\u0129' + | '\u012b' + | '\u012d' + | '\u012f' + | '\u0131' + | '\u0133' + | '\u0135' + | '\u0137' to '\u0138' + | '\u013a' + | '\u013c' + | '\u013e' + | '\u0140' + | '\u0142' + | '\u0144' + | '\u0146' + | '\u0148' to '\u0149' + | '\u014b' + | '\u014d' + | '\u014f' + | '\u0151' + | '\u0153' + | '\u0155' + | '\u0157' + | '\u0159' + | '\u015b' + | '\u015d' + | '\u015f' + | '\u0161' + | '\u0163' + | '\u0165' + | '\u0167' + | '\u0169' + | '\u016b' + | '\u016d' + | '\u016f' + | '\u0171' + | '\u0173' + | '\u0175' + | '\u0177' + | '\u017a' + | '\u017c' + | '\u017e' to '\u0180' + | '\u0183' + | '\u0185' + | '\u0188' + | '\u018c' to '\u018d' + | '\u0192' + | '\u0195' + | '\u0199' to '\u019b' + | '\u019e' + | '\u01a1' + | '\u01a3' + | '\u01a5' + | '\u01a8' + | '\u01aa' to '\u01ab' + | '\u01ad' + | '\u01b0' + | '\u01b4' + | '\u01b6' + | '\u01b9' to '\u01ba' + | '\u01bd' to '\u01bf' + | '\u01c6' + | '\u01c9' + | '\u01cc' + | '\u01ce' + | '\u01d0' + | '\u01d2' + | '\u01d4' + | '\u01d6' + | '\u01d8' + | '\u01da' + | '\u01dc' to '\u01dd' + | '\u01df' + | '\u01e1' + | '\u01e3' + | '\u01e5' + | '\u01e7' + | '\u01e9' + | '\u01eb' + | '\u01ed' + | '\u01ef' to '\u01f0' + | '\u01f3' + | '\u01f5' + | '\u01f9' + | '\u01fb' + | '\u01fd' + | '\u01ff' + | '\u0201' + | '\u0203' + | '\u0205' + | '\u0207' + | '\u0209' + | '\u020b' + | '\u020d' + | '\u020f' + | '\u0211' + | '\u0213' + | '\u0215' + | '\u0217' + | '\u0219' + | '\u021b' + | '\u021d' + | '\u021f' + | '\u0221' + | '\u0223' + | '\u0225' + | '\u0227' + | '\u0229' + | '\u022b' + | '\u022d' + | '\u022f' + | '\u0231' + | '\u0233' to '\u0239' + | '\u023c' + | '\u023f' to '\u0240' + | '\u0242' + | '\u0247' + | '\u0249' + | '\u024b' + | '\u024d' + | '\u024f' to '\u0293' + | '\u0295' to '\u02af' + | '\u0371' + | '\u0373' + | '\u0377' + | '\u037b' to '\u037d' + | '\u0390' + | '\u03ac' to '\u03ce' + | '\u03d0' to '\u03d1' + | '\u03d5' to '\u03d7' + | '\u03d9' + | '\u03db' + | '\u03dd' + | '\u03df' + | '\u03e1' + | '\u03e3' + | '\u03e5' + | '\u03e7' + | '\u03e9' + | '\u03eb' + | '\u03ed' + | '\u03ef' to '\u03f3' + | '\u03f5' + | '\u03f8' + | '\u03fb' to '\u03fc' + | '\u0430' to '\u045f' + | '\u0461' + | '\u0463' + | '\u0465' + | '\u0467' + | '\u0469' + | '\u046b' + | '\u046d' + | '\u046f' + | '\u0471' + | '\u0473' + | '\u0475' + | '\u0477' + | '\u0479' + | '\u047b' + | '\u047d' + | '\u047f' + | '\u0481' + | '\u048b' + | '\u048d' + | '\u048f' + | '\u0491' + | '\u0493' + | '\u0495' + | '\u0497' + | '\u0499' + | '\u049b' + | '\u049d' + | '\u049f' + | '\u04a1' + | '\u04a3' + | '\u04a5' + | '\u04a7' + | '\u04a9' + | '\u04ab' + | '\u04ad' + | '\u04af' + | '\u04b1' + | '\u04b3' + | '\u04b5' + | '\u04b7' + | '\u04b9' + | '\u04bb' + | '\u04bd' + | '\u04bf' + | '\u04c2' + | '\u04c4' + | '\u04c6' + | '\u04c8' + | '\u04ca' + | '\u04cc' + | '\u04ce' to '\u04cf' + | '\u04d1' + | '\u04d3' + | '\u04d5' + | '\u04d7' + | '\u04d9' + | '\u04db' + | '\u04dd' + | '\u04df' + | '\u04e1' + | '\u04e3' + | '\u04e5' + | '\u04e7' + | '\u04e9' + | '\u04eb' + | '\u04ed' + | '\u04ef' + | '\u04f1' + | '\u04f3' + | '\u04f5' + | '\u04f7' + | '\u04f9' + | '\u04fb' + | '\u04fd' + | '\u04ff' + | '\u0501' + | '\u0503' + | '\u0505' + | '\u0507' + | '\u0509' + | '\u050b' + | '\u050d' + | '\u050f' + | '\u0511' + | '\u0513' + | '\u0515' + | '\u0517' + | '\u0519' + | '\u051b' + | '\u051d' + | '\u051f' + | '\u0521' + | '\u0523' + | '\u0525' + | '\u0527' + | '\u0561' to '\u0587' + | '\u1d00' to '\u1d2b' + | '\u1d62' to '\u1d77' + | '\u1d79' to '\u1d9a' + | '\u1e01' + | '\u1e03' + | '\u1e05' + | '\u1e07' + | '\u1e09' + | '\u1e0b' + | '\u1e0d' + | '\u1e0f' + | '\u1e11' + | '\u1e13' + | '\u1e15' + | '\u1e17' + | '\u1e19' + | '\u1e1b' + | '\u1e1d' + | '\u1e1f' + | '\u1e21' + | '\u1e23' + | '\u1e25' + | '\u1e27' + | '\u1e29' + | '\u1e2b' + | '\u1e2d' + | '\u1e2f' + | '\u1e31' + | '\u1e33' + | '\u1e35' + | '\u1e37' + | '\u1e39' + | '\u1e3b' + | '\u1e3d' + | '\u1e3f' + | '\u1e41' + | '\u1e43' + | '\u1e45' + | '\u1e47' + | '\u1e49' + | '\u1e4b' + | '\u1e4d' + | '\u1e4f' + | '\u1e51' + | '\u1e53' + | '\u1e55' + | '\u1e57' + | '\u1e59' + | '\u1e5b' + | '\u1e5d' + | '\u1e5f' + | '\u1e61' + | '\u1e63' + | '\u1e65' + | '\u1e67' + | '\u1e69' + | '\u1e6b' + | '\u1e6d' + | '\u1e6f' + | '\u1e71' + | '\u1e73' + | '\u1e75' + | '\u1e77' + | '\u1e79' + | '\u1e7b' + | '\u1e7d' + | '\u1e7f' + | '\u1e81' + | '\u1e83' + | '\u1e85' + | '\u1e87' + | '\u1e89' + | '\u1e8b' + | '\u1e8d' + | '\u1e8f' + | '\u1e91' + | '\u1e93' + | '\u1e95' to '\u1e9d' + | '\u1e9f' + | '\u1ea1' + | '\u1ea3' + | '\u1ea5' + | '\u1ea7' + | '\u1ea9' + | '\u1eab' + | '\u1ead' + | '\u1eaf' + | '\u1eb1' + | '\u1eb3' + | '\u1eb5' + | '\u1eb7' + | '\u1eb9' + | '\u1ebb' + | '\u1ebd' + | '\u1ebf' + | '\u1ec1' + | '\u1ec3' + | '\u1ec5' + | '\u1ec7' + | '\u1ec9' + | '\u1ecb' + | '\u1ecd' + | '\u1ecf' + | '\u1ed1' + | '\u1ed3' + | '\u1ed5' + | '\u1ed7' + | '\u1ed9' + | '\u1edb' + | '\u1edd' + | '\u1edf' + | '\u1ee1' + | '\u1ee3' + | '\u1ee5' + | '\u1ee7' + | '\u1ee9' + | '\u1eeb' + | '\u1eed' + | '\u1eef' + | '\u1ef1' + | '\u1ef3' + | '\u1ef5' + | '\u1ef7' + | '\u1ef9' + | '\u1efb' + | '\u1efd' + | '\u1eff' to '\u1f07' + | '\u1f10' to '\u1f15' + | '\u1f20' to '\u1f27' + | '\u1f30' to '\u1f37' + | '\u1f40' to '\u1f45' + | '\u1f50' to '\u1f57' + | '\u1f60' to '\u1f67' + | '\u1f70' to '\u1f87' + | '\u1f90' to '\u1f97' + | '\u1fa0' to '\u1fa7' + | '\u1fb0' to '\u1fb7' + | '\u1fbe' + | '\u1fc2' to '\u1fc7' + | '\u1fd0' to '\u1fd7' + | '\u1fe0' to '\u1fe7' + | '\u1ff2' to '\u1ff7' + | '\u210a' + | '\u210e' to '\u210f' + | '\u2113' + | '\u212f' + | '\u2134' + | '\u2139' + | '\u213c' to '\u213d' + | '\u2146' to '\u2149' + | '\u214e' + | '\u2184' + | '\u2c30' to '\u2c5e' + | '\u2c61' + | '\u2c65' to '\u2c66' + | '\u2c68' + | '\u2c6a' + | '\u2c6c' + | '\u2c71' + | '\u2c73' to '\u2c74' + | '\u2c76' to '\u2c7c' + | '\u2c81' + | '\u2c83' + | '\u2c85' + | '\u2c87' + | '\u2c89' + | '\u2c8b' + | '\u2c8d' + | '\u2c8f' + | '\u2c91' + | '\u2c93' + | '\u2c95' + | '\u2c97' + | '\u2c99' + | '\u2c9b' + | '\u2c9d' + | '\u2c9f' + | '\u2ca1' + | '\u2ca3' + | '\u2ca5' + | '\u2ca7' + | '\u2ca9' + | '\u2cab' + | '\u2cad' + | '\u2caf' + | '\u2cb1' + | '\u2cb3' + | '\u2cb5' + | '\u2cb7' + | '\u2cb9' + | '\u2cbb' + | '\u2cbd' + | '\u2cbf' + | '\u2cc1' + | '\u2cc3' + | '\u2cc5' + | '\u2cc7' + | '\u2cc9' + | '\u2ccb' + | '\u2ccd' + | '\u2ccf' + | '\u2cd1' + | '\u2cd3' + | '\u2cd5' + | '\u2cd7' + | '\u2cd9' + | '\u2cdb' + | '\u2cdd' + | '\u2cdf' + | '\u2ce1' + | '\u2ce3' to '\u2ce4' + | '\u2cec' + | '\u2cee' + | '\u2d00' to '\u2d25' + | '\ua641' + | '\ua643' + | '\ua645' + | '\ua647' + | '\ua649' + | '\ua64b' + | '\ua64d' + | '\ua64f' + | '\ua651' + | '\ua653' + | '\ua655' + | '\ua657' + | '\ua659' + | '\ua65b' + | '\ua65d' + | '\ua65f' + | '\ua661' + | '\ua663' + | '\ua665' + | '\ua667' + | '\ua669' + | '\ua66b' + | '\ua66d' + | '\ua681' + | '\ua683' + | '\ua685' + | '\ua687' + | '\ua689' + | '\ua68b' + | '\ua68d' + | '\ua68f' + | '\ua691' + | '\ua693' + | '\ua695' + | '\ua697' + | '\ua723' + | '\ua725' + | '\ua727' + | '\ua729' + | '\ua72b' + | '\ua72d' + | '\ua72f' to '\ua731' + | '\ua733' + | '\ua735' + | '\ua737' + | '\ua739' + | '\ua73b' + | '\ua73d' + | '\ua73f' + | '\ua741' + | '\ua743' + | '\ua745' + | '\ua747' + | '\ua749' + | '\ua74b' + | '\ua74d' + | '\ua74f' + | '\ua751' + | '\ua753' + | '\ua755' + | '\ua757' + | '\ua759' + | '\ua75b' + | '\ua75d' + | '\ua75f' + | '\ua761' + | '\ua763' + | '\ua765' + | '\ua767' + | '\ua769' + | '\ua76b' + | '\ua76d' + | '\ua76f' + | '\ua771' to '\ua778' + | '\ua77a' + | '\ua77c' + | '\ua77f' + | '\ua781' + | '\ua783' + | '\ua785' + | '\ua787' + | '\ua78c' + | '\ua78e' + | '\ua791' + | '\ua7a1' + | '\ua7a3' + | '\ua7a5' + | '\ua7a7' + | '\ua7a9' to '\ua7fa' + | '\ufb00' to '\ufb17' + | '\uff41' to '\uff5a' + | '\U00010428' to '\U0001044f' + | '\U0001d41a' to '\U0001d433' + | '\U0001d44e' to '\U0001d467' + | '\U0001d482' to '\U0001d49b' + | '\U0001d4b6' to '\U0001d4cf' + | '\U0001d4ea' to '\U0001d503' + | '\U0001d51e' to '\U0001d537' + | '\U0001d552' to '\U0001d56b' + | '\U0001d586' to '\U0001d59f' + | '\U0001d5ba' to '\U0001d5d3' + | '\U0001d5ee' to '\U0001d607' + | '\U0001d622' to '\U0001d63b' + | '\U0001d656' to '\U0001d66f' + | '\U0001d68a' to '\U0001d6a5' + | '\U0001d6c2' to '\U0001d6da' + | '\U0001d6dc' to '\U0001d6e1' + | '\U0001d6fc' to '\U0001d714' + | '\U0001d716' to '\U0001d71b' + | '\U0001d736' to '\U0001d74e' + | '\U0001d750' to '\U0001d755' + | '\U0001d770' to '\U0001d788' + | '\U0001d78a' to '\U0001d78f' + | '\U0001d7aa' to '\U0001d7c2' + | '\U0001d7c4' to '\U0001d7c9' + | '\U0001d7cb' + { true } + _ { false } + }; + } + + pure fn Lm(c: char) -> bool { + ret alt c { + '\u02b0' to '\u02c1' + | '\u02c6' to '\u02d1' + | '\u02e0' to '\u02e4' + | '\u02ec' + | '\u02ee' + | '\u0374' + | '\u037a' + | '\u0559' + | '\u0640' + | '\u06e5' to '\u06e6' + | '\u07f4' to '\u07f5' + | '\u07fa' + | '\u081a' + | '\u0824' + | '\u0828' + | '\u0971' + | '\u0e46' + | '\u0ec6' + | '\u10fc' + | '\u17d7' + | '\u1843' + | '\u1aa7' + | '\u1c78' to '\u1c7d' + | '\u1d2c' to '\u1d61' + | '\u1d78' + | '\u1d9b' to '\u1dbf' + | '\u2071' + | '\u207f' + | '\u2090' to '\u209c' + | '\u2c7d' + | '\u2d6f' + | '\u2e2f' + | '\u3005' + | '\u3031' to '\u3035' + | '\u303b' + | '\u309d' to '\u309e' + | '\u30fc' to '\u30fe' + | '\ua015' + | '\ua4f8' to '\ua4fd' + | '\ua60c' + | '\ua67f' + | '\ua717' to '\ua71f' + | '\ua770' + | '\ua788' + | '\ua9cf' + | '\uaa70' + | '\uaadd' + | '\uff70' + | '\uff9e' to '\uff9f' + { true } + _ { false } + }; + } + + pure fn Lo(c: char) -> bool { + ret alt c { + '\u01bb' + | '\u01c0' to '\u01c3' + | '\u0294' + | '\u05d0' to '\u05f2' + | '\u0620' to '\u063f' + | '\u0641' to '\u064a' + | '\u066e' to '\u066f' + | '\u0671' to '\u06d3' + | '\u06d5' + | '\u06ee' to '\u06ef' + | '\u06fa' to '\u06fc' + | '\u06ff' + | '\u0710' + | '\u0712' to '\u072f' + | '\u074d' to '\u07a5' + | '\u07b1' + | '\u07ca' to '\u07ea' + | '\u0800' to '\u0815' + | '\u0840' to '\u0858' + | '\u0904' to '\u0939' + | '\u093d' + | '\u0950' + | '\u0958' to '\u0961' + | '\u0972' to '\u097f' + | '\u0985' to '\u09b9' + | '\u09bd' + | '\u09ce' + | '\u09dc' to '\u09e1' + | '\u09f0' to '\u09f1' + | '\u0a05' to '\u0a39' + | '\u0a59' to '\u0a5e' + | '\u0a72' to '\u0a74' + | '\u0a85' to '\u0ab9' + | '\u0abd' + | '\u0ad0' to '\u0ae1' + | '\u0b05' to '\u0b39' + | '\u0b3d' + | '\u0b5c' to '\u0b61' + | '\u0b71' + | '\u0b83' to '\u0bb9' + | '\u0bd0' + | '\u0c05' to '\u0c3d' + | '\u0c58' to '\u0c61' + | '\u0c85' to '\u0cb9' + | '\u0cbd' + | '\u0cde' to '\u0ce1' + | '\u0cf1' to '\u0cf2' + | '\u0d05' to '\u0d3d' + | '\u0d4e' + | '\u0d60' to '\u0d61' + | '\u0d7a' to '\u0d7f' + | '\u0d85' to '\u0dc6' + | '\u0e01' to '\u0e30' + | '\u0e32' to '\u0e33' + | '\u0e40' to '\u0e45' + | '\u0e81' to '\u0eb0' + | '\u0eb2' to '\u0eb3' + | '\u0ebd' to '\u0ec4' + | '\u0edc' to '\u0f00' + | '\u0f40' to '\u0f6c' + | '\u0f88' to '\u0f8c' + | '\u1000' to '\u102a' + | '\u103f' + | '\u1050' to '\u1055' + | '\u105a' to '\u105d' + | '\u1061' + | '\u1065' to '\u1066' + | '\u106e' to '\u1070' + | '\u1075' to '\u1081' + | '\u108e' + | '\u10d0' to '\u10fa' + | '\u1100' to '\u135a' + | '\u1380' to '\u138f' + | '\u13a0' to '\u13f4' + | '\u1401' to '\u166c' + | '\u166f' to '\u167f' + | '\u1681' to '\u169a' + | '\u16a0' to '\u16ea' + | '\u1700' to '\u1711' + | '\u1720' to '\u1731' + | '\u1740' to '\u1751' + | '\u1760' to '\u1770' + | '\u1780' to '\u17b3' + | '\u17dc' + | '\u1820' to '\u1842' + | '\u1844' to '\u18a8' + | '\u18aa' to '\u191c' + | '\u1950' to '\u19ab' + | '\u19c1' to '\u19c7' + | '\u1a00' to '\u1a16' + | '\u1a20' to '\u1a54' + | '\u1b05' to '\u1b33' + | '\u1b45' to '\u1b4b' + | '\u1b83' to '\u1ba0' + | '\u1bae' to '\u1baf' + | '\u1bc0' to '\u1be5' + | '\u1c00' to '\u1c23' + | '\u1c4d' to '\u1c4f' + | '\u1c5a' to '\u1c77' + | '\u1ce9' to '\u1cec' + | '\u1cee' to '\u1cf1' + | '\u2135' to '\u2138' + | '\u2d30' to '\u2d65' + | '\u2d80' to '\u2dde' + | '\u3006' + | '\u303c' + | '\u3041' to '\u3096' + | '\u309f' + | '\u30a1' to '\u30fa' + | '\u30ff' to '\u318e' + | '\u31a0' to '\u31ba' + | '\u31f0' to '\u31ff' + | '\u3400' to '\u4db5' + | '\u4e00' to '\ua014' + | '\ua016' to '\ua48c' + | '\ua4d0' to '\ua4f7' + | '\ua500' to '\ua60b' + | '\ua610' to '\ua61f' + | '\ua62a' to '\ua62b' + | '\ua66e' + | '\ua6a0' to '\ua6e5' + | '\ua7fb' to '\ua801' + | '\ua803' to '\ua805' + | '\ua807' to '\ua80a' + | '\ua80c' to '\ua822' + | '\ua840' to '\ua873' + | '\ua882' to '\ua8b3' + | '\ua8f2' to '\ua8f7' + | '\ua8fb' + | '\ua90a' to '\ua925' + | '\ua930' to '\ua946' + | '\ua960' to '\ua97c' + | '\ua984' to '\ua9b2' + | '\uaa00' to '\uaa28' + | '\uaa40' to '\uaa42' + | '\uaa44' to '\uaa4b' + | '\uaa60' to '\uaa6f' + | '\uaa71' to '\uaa76' + | '\uaa7a' + | '\uaa80' to '\uaaaf' + | '\uaab1' + | '\uaab5' to '\uaab6' + | '\uaab9' to '\uaabd' + | '\uaac0' + | '\uaac2' to '\uaadc' + | '\uab01' to '\uabe2' + | '\uac00' to '\ud7fb' + | '\uf900' to '\ufad9' + | '\ufb1d' + | '\ufb1f' to '\ufb28' + | '\ufb2a' to '\ufbb1' + | '\ufbd3' to '\ufd3d' + | '\ufd50' to '\ufdfb' + | '\ufe70' to '\ufefc' + | '\uff66' to '\uff6f' + | '\uff71' to '\uff9d' + | '\uffa0' to '\uffdc' + | '\U00010000' to '\U000100fa' + | '\U00010280' to '\U0001031e' + | '\U00010330' to '\U00010340' + | '\U00010342' to '\U00010349' + | '\U00010380' to '\U0001039d' + | '\U000103a0' to '\U000103cf' + | '\U00010450' to '\U0001049d' + | '\U00010800' to '\U00010855' + | '\U00010900' to '\U00010915' + | '\U00010920' to '\U00010939' + | '\U00010a00' + | '\U00010a10' to '\U00010a33' + | '\U00010a60' to '\U00010a7c' + | '\U00010b00' to '\U00010b35' + | '\U00010b40' to '\U00010b55' + | '\U00010b60' to '\U00010b72' + | '\U00010c00' to '\U00010c48' + | '\U00011003' to '\U00011037' + | '\U00011083' to '\U000110af' + | '\U00012000' to '\U0001236e' + | '\U00013000' to '\U0001b001' + | '\U00020000' to '\U0002fa1d' + { true } + _ { false } + }; + } + + pure fn Lt(c: char) -> bool { + ret alt c { + '\u01c5' + | '\u01c8' + | '\u01cb' + | '\u01f2' + | '\u1f88' to '\u1f8f' + | '\u1f98' to '\u1f9f' + | '\u1fa8' to '\u1faf' + | '\u1fbc' + | '\u1fcc' + | '\u1ffc' + { true } + _ { false } + }; + } + + pure fn Lu(c: char) -> bool { + ret alt c { + '\x41' to '\x5a' + | '\xc0' to '\xd6' + | '\xd8' to '\xde' + | '\u0100' + | '\u0102' + | '\u0104' + | '\u0106' + | '\u0108' + | '\u010a' + | '\u010c' + | '\u010e' + | '\u0110' + | '\u0112' + | '\u0114' + | '\u0116' + | '\u0118' + | '\u011a' + | '\u011c' + | '\u011e' + | '\u0120' + | '\u0122' + | '\u0124' + | '\u0126' + | '\u0128' + | '\u012a' + | '\u012c' + | '\u012e' + | '\u0130' + | '\u0132' + | '\u0134' + | '\u0136' + | '\u0139' + | '\u013b' + | '\u013d' + | '\u013f' + | '\u0141' + | '\u0143' + | '\u0145' + | '\u0147' + | '\u014a' + | '\u014c' + | '\u014e' + | '\u0150' + | '\u0152' + | '\u0154' + | '\u0156' + | '\u0158' + | '\u015a' + | '\u015c' + | '\u015e' + | '\u0160' + | '\u0162' + | '\u0164' + | '\u0166' + | '\u0168' + | '\u016a' + | '\u016c' + | '\u016e' + | '\u0170' + | '\u0172' + | '\u0174' + | '\u0176' + | '\u0178' to '\u0179' + | '\u017b' + | '\u017d' + | '\u0181' to '\u0182' + | '\u0184' + | '\u0186' to '\u0187' + | '\u0189' to '\u018b' + | '\u018e' to '\u0191' + | '\u0193' to '\u0194' + | '\u0196' to '\u0198' + | '\u019c' to '\u019d' + | '\u019f' to '\u01a0' + | '\u01a2' + | '\u01a4' + | '\u01a6' to '\u01a7' + | '\u01a9' + | '\u01ac' + | '\u01ae' to '\u01af' + | '\u01b1' to '\u01b3' + | '\u01b5' + | '\u01b7' to '\u01b8' + | '\u01bc' + | '\u01c4' + | '\u01c7' + | '\u01ca' + | '\u01cd' + | '\u01cf' + | '\u01d1' + | '\u01d3' + | '\u01d5' + | '\u01d7' + | '\u01d9' + | '\u01db' + | '\u01de' + | '\u01e0' + | '\u01e2' + | '\u01e4' + | '\u01e6' + | '\u01e8' + | '\u01ea' + | '\u01ec' + | '\u01ee' + | '\u01f1' + | '\u01f4' + | '\u01f6' to '\u01f8' + | '\u01fa' + | '\u01fc' + | '\u01fe' + | '\u0200' + | '\u0202' + | '\u0204' + | '\u0206' + | '\u0208' + | '\u020a' + | '\u020c' + | '\u020e' + | '\u0210' + | '\u0212' + | '\u0214' + | '\u0216' + | '\u0218' + | '\u021a' + | '\u021c' + | '\u021e' + | '\u0220' + | '\u0222' + | '\u0224' + | '\u0226' + | '\u0228' + | '\u022a' + | '\u022c' + | '\u022e' + | '\u0230' + | '\u0232' + | '\u023a' to '\u023b' + | '\u023d' to '\u023e' + | '\u0241' + | '\u0243' to '\u0246' + | '\u0248' + | '\u024a' + | '\u024c' + | '\u024e' + | '\u0370' + | '\u0372' + | '\u0376' + | '\u0386' + | '\u0388' to '\u038f' + | '\u0391' to '\u03ab' + | '\u03cf' + | '\u03d2' to '\u03d4' + | '\u03d8' + | '\u03da' + | '\u03dc' + | '\u03de' + | '\u03e0' + | '\u03e2' + | '\u03e4' + | '\u03e6' + | '\u03e8' + | '\u03ea' + | '\u03ec' + | '\u03ee' + | '\u03f4' + | '\u03f7' + | '\u03f9' to '\u03fa' + | '\u03fd' to '\u042f' + | '\u0460' + | '\u0462' + | '\u0464' + | '\u0466' + | '\u0468' + | '\u046a' + | '\u046c' + | '\u046e' + | '\u0470' + | '\u0472' + | '\u0474' + | '\u0476' + | '\u0478' + | '\u047a' + | '\u047c' + | '\u047e' + | '\u0480' + | '\u048a' + | '\u048c' + | '\u048e' + | '\u0490' + | '\u0492' + | '\u0494' + | '\u0496' + | '\u0498' + | '\u049a' + | '\u049c' + | '\u049e' + | '\u04a0' + | '\u04a2' + | '\u04a4' + | '\u04a6' + | '\u04a8' + | '\u04aa' + | '\u04ac' + | '\u04ae' + | '\u04b0' + | '\u04b2' + | '\u04b4' + | '\u04b6' + | '\u04b8' + | '\u04ba' + | '\u04bc' + | '\u04be' + | '\u04c0' to '\u04c1' + | '\u04c3' + | '\u04c5' + | '\u04c7' + | '\u04c9' + | '\u04cb' + | '\u04cd' + | '\u04d0' + | '\u04d2' + | '\u04d4' + | '\u04d6' + | '\u04d8' + | '\u04da' + | '\u04dc' + | '\u04de' + | '\u04e0' + | '\u04e2' + | '\u04e4' + | '\u04e6' + | '\u04e8' + | '\u04ea' + | '\u04ec' + | '\u04ee' + | '\u04f0' + | '\u04f2' + | '\u04f4' + | '\u04f6' + | '\u04f8' + | '\u04fa' + | '\u04fc' + | '\u04fe' + | '\u0500' + | '\u0502' + | '\u0504' + | '\u0506' + | '\u0508' + | '\u050a' + | '\u050c' + | '\u050e' + | '\u0510' + | '\u0512' + | '\u0514' + | '\u0516' + | '\u0518' + | '\u051a' + | '\u051c' + | '\u051e' + | '\u0520' + | '\u0522' + | '\u0524' + | '\u0526' + | '\u0531' to '\u0556' + | '\u10a0' to '\u10c5' + | '\u1e00' + | '\u1e02' + | '\u1e04' + | '\u1e06' + | '\u1e08' + | '\u1e0a' + | '\u1e0c' + | '\u1e0e' + | '\u1e10' + | '\u1e12' + | '\u1e14' + | '\u1e16' + | '\u1e18' + | '\u1e1a' + | '\u1e1c' + | '\u1e1e' + | '\u1e20' + | '\u1e22' + | '\u1e24' + | '\u1e26' + | '\u1e28' + | '\u1e2a' + | '\u1e2c' + | '\u1e2e' + | '\u1e30' + | '\u1e32' + | '\u1e34' + | '\u1e36' + | '\u1e38' + | '\u1e3a' + | '\u1e3c' + | '\u1e3e' + | '\u1e40' + | '\u1e42' + | '\u1e44' + | '\u1e46' + | '\u1e48' + | '\u1e4a' + | '\u1e4c' + | '\u1e4e' + | '\u1e50' + | '\u1e52' + | '\u1e54' + | '\u1e56' + | '\u1e58' + | '\u1e5a' + | '\u1e5c' + | '\u1e5e' + | '\u1e60' + | '\u1e62' + | '\u1e64' + | '\u1e66' + | '\u1e68' + | '\u1e6a' + | '\u1e6c' + | '\u1e6e' + | '\u1e70' + | '\u1e72' + | '\u1e74' + | '\u1e76' + | '\u1e78' + | '\u1e7a' + | '\u1e7c' + | '\u1e7e' + | '\u1e80' + | '\u1e82' + | '\u1e84' + | '\u1e86' + | '\u1e88' + | '\u1e8a' + | '\u1e8c' + | '\u1e8e' + | '\u1e90' + | '\u1e92' + | '\u1e94' + | '\u1e9e' + | '\u1ea0' + | '\u1ea2' + | '\u1ea4' + | '\u1ea6' + | '\u1ea8' + | '\u1eaa' + | '\u1eac' + | '\u1eae' + | '\u1eb0' + | '\u1eb2' + | '\u1eb4' + | '\u1eb6' + | '\u1eb8' + | '\u1eba' + | '\u1ebc' + | '\u1ebe' + | '\u1ec0' + | '\u1ec2' + | '\u1ec4' + | '\u1ec6' + | '\u1ec8' + | '\u1eca' + | '\u1ecc' + | '\u1ece' + | '\u1ed0' + | '\u1ed2' + | '\u1ed4' + | '\u1ed6' + | '\u1ed8' + | '\u1eda' + | '\u1edc' + | '\u1ede' + | '\u1ee0' + | '\u1ee2' + | '\u1ee4' + | '\u1ee6' + | '\u1ee8' + | '\u1eea' + | '\u1eec' + | '\u1eee' + | '\u1ef0' + | '\u1ef2' + | '\u1ef4' + | '\u1ef6' + | '\u1ef8' + | '\u1efa' + | '\u1efc' + | '\u1efe' + | '\u1f08' to '\u1f0f' + | '\u1f18' to '\u1f1d' + | '\u1f28' to '\u1f2f' + | '\u1f38' to '\u1f3f' + | '\u1f48' to '\u1f4d' + | '\u1f59' to '\u1f5f' + | '\u1f68' to '\u1f6f' + | '\u1fb8' to '\u1fbb' + | '\u1fc8' to '\u1fcb' + | '\u1fd8' to '\u1fdb' + | '\u1fe8' to '\u1fec' + | '\u1ff8' to '\u1ffb' + | '\u2102' + | '\u2107' + | '\u210b' to '\u210d' + | '\u2110' to '\u2112' + | '\u2115' + | '\u2119' to '\u211d' + | '\u2124' + | '\u2126' + | '\u2128' + | '\u212a' to '\u212d' + | '\u2130' to '\u2133' + | '\u213e' to '\u213f' + | '\u2145' + | '\u2183' + | '\u2c00' to '\u2c2e' + | '\u2c60' + | '\u2c62' to '\u2c64' + | '\u2c67' + | '\u2c69' + | '\u2c6b' + | '\u2c6d' to '\u2c70' + | '\u2c72' + | '\u2c75' + | '\u2c7e' to '\u2c80' + | '\u2c82' + | '\u2c84' + | '\u2c86' + | '\u2c88' + | '\u2c8a' + | '\u2c8c' + | '\u2c8e' + | '\u2c90' + | '\u2c92' + | '\u2c94' + | '\u2c96' + | '\u2c98' + | '\u2c9a' + | '\u2c9c' + | '\u2c9e' + | '\u2ca0' + | '\u2ca2' + | '\u2ca4' + | '\u2ca6' + | '\u2ca8' + | '\u2caa' + | '\u2cac' + | '\u2cae' + | '\u2cb0' + | '\u2cb2' + | '\u2cb4' + | '\u2cb6' + | '\u2cb8' + | '\u2cba' + | '\u2cbc' + | '\u2cbe' + | '\u2cc0' + | '\u2cc2' + | '\u2cc4' + | '\u2cc6' + | '\u2cc8' + | '\u2cca' + | '\u2ccc' + | '\u2cce' + | '\u2cd0' + | '\u2cd2' + | '\u2cd4' + | '\u2cd6' + | '\u2cd8' + | '\u2cda' + | '\u2cdc' + | '\u2cde' + | '\u2ce0' + | '\u2ce2' + | '\u2ceb' + | '\u2ced' + | '\ua640' + | '\ua642' + | '\ua644' + | '\ua646' + | '\ua648' + | '\ua64a' + | '\ua64c' + | '\ua64e' + | '\ua650' + | '\ua652' + | '\ua654' + | '\ua656' + | '\ua658' + | '\ua65a' + | '\ua65c' + | '\ua65e' + | '\ua660' + | '\ua662' + | '\ua664' + | '\ua666' + | '\ua668' + | '\ua66a' + | '\ua66c' + | '\ua680' + | '\ua682' + | '\ua684' + | '\ua686' + | '\ua688' + | '\ua68a' + | '\ua68c' + | '\ua68e' + | '\ua690' + | '\ua692' + | '\ua694' + | '\ua696' + | '\ua722' + | '\ua724' + | '\ua726' + | '\ua728' + | '\ua72a' + | '\ua72c' + | '\ua72e' + | '\ua732' + | '\ua734' + | '\ua736' + | '\ua738' + | '\ua73a' + | '\ua73c' + | '\ua73e' + | '\ua740' + | '\ua742' + | '\ua744' + | '\ua746' + | '\ua748' + | '\ua74a' + | '\ua74c' + | '\ua74e' + | '\ua750' + | '\ua752' + | '\ua754' + | '\ua756' + | '\ua758' + | '\ua75a' + | '\ua75c' + | '\ua75e' + | '\ua760' + | '\ua762' + | '\ua764' + | '\ua766' + | '\ua768' + | '\ua76a' + | '\ua76c' + | '\ua76e' + | '\ua779' + | '\ua77b' + | '\ua77d' to '\ua77e' + | '\ua780' + | '\ua782' + | '\ua784' + | '\ua786' + | '\ua78b' + | '\ua78d' + | '\ua790' + | '\ua7a0' + | '\ua7a2' + | '\ua7a4' + | '\ua7a6' + | '\ua7a8' + | '\uff21' to '\uff3a' + | '\U00010400' to '\U00010427' + | '\U0001d400' to '\U0001d419' + | '\U0001d434' to '\U0001d44d' + | '\U0001d468' to '\U0001d481' + | '\U0001d49c' to '\U0001d4b5' + | '\U0001d4d0' to '\U0001d4e9' + | '\U0001d504' to '\U0001d51c' + | '\U0001d538' to '\U0001d550' + | '\U0001d56c' to '\U0001d585' + | '\U0001d5a0' to '\U0001d5b9' + | '\U0001d5d4' to '\U0001d5ed' + | '\U0001d608' to '\U0001d621' + | '\U0001d63c' to '\U0001d655' + | '\U0001d670' to '\U0001d689' + | '\U0001d6a8' to '\U0001d6c0' + | '\U0001d6e2' to '\U0001d6fa' + | '\U0001d71c' to '\U0001d734' + | '\U0001d756' to '\U0001d76e' + | '\U0001d790' to '\U0001d7a8' + | '\U0001d7ca' + { true } + _ { false } + }; + } + + pure fn Mc(c: char) -> bool { + ret alt c { + '\u0903' + | '\u093b' + | '\u093e' to '\u0940' + | '\u0949' to '\u094c' + | '\u094e' to '\u094f' + | '\u0982' to '\u0983' + | '\u09be' to '\u09c0' + | '\u09c7' to '\u09cc' + | '\u09d7' + | '\u0a03' + | '\u0a3e' to '\u0a40' + | '\u0a83' + | '\u0abe' to '\u0ac0' + | '\u0ac9' to '\u0acc' + | '\u0b02' to '\u0b03' + | '\u0b3e' + | '\u0b40' + | '\u0b47' to '\u0b4c' + | '\u0b57' + | '\u0bbe' to '\u0bbf' + | '\u0bc1' to '\u0bcc' + | '\u0bd7' + | '\u0c01' to '\u0c03' + | '\u0c41' to '\u0c44' + | '\u0c82' to '\u0c83' + | '\u0cbe' + | '\u0cc0' to '\u0cc4' + | '\u0cc7' to '\u0ccb' + | '\u0cd5' to '\u0cd6' + | '\u0d02' to '\u0d03' + | '\u0d3e' to '\u0d40' + | '\u0d46' to '\u0d4c' + | '\u0d57' + | '\u0d82' to '\u0d83' + | '\u0dcf' to '\u0dd1' + | '\u0dd8' to '\u0df3' + | '\u0f3e' to '\u0f3f' + | '\u0f7f' + | '\u102b' to '\u102c' + | '\u1031' + | '\u1038' + | '\u103b' to '\u103c' + | '\u1056' to '\u1057' + | '\u1062' to '\u1064' + | '\u1067' to '\u106d' + | '\u1083' to '\u1084' + | '\u1087' to '\u108c' + | '\u108f' + | '\u109a' to '\u109c' + | '\u17b6' + | '\u17be' to '\u17c5' + | '\u17c7' to '\u17c8' + | '\u1923' to '\u1926' + | '\u1929' to '\u1931' + | '\u1933' to '\u1938' + | '\u19b0' to '\u19c0' + | '\u19c8' to '\u19c9' + | '\u1a19' to '\u1a1b' + | '\u1a55' + | '\u1a57' + | '\u1a61' + | '\u1a63' to '\u1a64' + | '\u1a6d' to '\u1a72' + | '\u1b04' + | '\u1b35' + | '\u1b3b' + | '\u1b3d' to '\u1b41' + | '\u1b43' to '\u1b44' + | '\u1b82' + | '\u1ba1' + | '\u1ba6' to '\u1ba7' + | '\u1baa' + | '\u1be7' + | '\u1bea' to '\u1bec' + | '\u1bee' + | '\u1bf2' to '\u1bf3' + | '\u1c24' to '\u1c2b' + | '\u1c34' to '\u1c35' + | '\u1ce1' + | '\u1cf2' + | '\ua823' to '\ua824' + | '\ua827' + | '\ua880' to '\ua881' + | '\ua8b4' to '\ua8c3' + | '\ua952' to '\ua953' + | '\ua983' + | '\ua9b4' to '\ua9b5' + | '\ua9ba' to '\ua9bb' + | '\ua9bd' to '\ua9c0' + | '\uaa2f' to '\uaa30' + | '\uaa33' to '\uaa34' + | '\uaa4d' + | '\uaa7b' + | '\uabe3' to '\uabe4' + | '\uabe6' to '\uabe7' + | '\uabe9' to '\uabea' + | '\uabec' + | '\U00011000' + | '\U00011002' + | '\U00011082' + | '\U000110b0' to '\U000110b2' + | '\U000110b7' to '\U000110b8' + | '\U0001d165' to '\U0001d166' + | '\U0001d16d' to '\U0001d172' + { true } + _ { false } + }; + } + + pure fn Me(c: char) -> bool { + ret alt c { + '\u0488' to '\u0489' + | '\u20dd' to '\u20e0' + | '\u20e2' to '\u20e4' + | '\ua670' to '\ua672' + { true } + _ { false } + }; + } + + pure fn Mn(c: char) -> bool { + ret alt c { + '\u0300' to '\u036f' + | '\u0483' to '\u0487' + | '\u0591' to '\u05bd' + | '\u05bf' + | '\u05c1' to '\u05c2' + | '\u05c4' to '\u05c5' + | '\u05c7' + | '\u0610' to '\u061a' + | '\u064b' to '\u065f' + | '\u0670' + | '\u06d6' to '\u06dc' + | '\u06df' to '\u06e4' + | '\u06e7' to '\u06e8' + | '\u06ea' to '\u06ed' + | '\u0711' + | '\u0730' to '\u074a' + | '\u07a6' to '\u07b0' + | '\u07eb' to '\u07f3' + | '\u0816' to '\u0819' + | '\u081b' to '\u0823' + | '\u0825' to '\u0827' + | '\u0829' to '\u082d' + | '\u0859' to '\u085b' + | '\u0900' to '\u0902' + | '\u093a' + | '\u093c' + | '\u0941' to '\u0948' + | '\u094d' + | '\u0951' to '\u0957' + | '\u0962' to '\u0963' + | '\u0981' + | '\u09bc' + | '\u09c1' to '\u09c4' + | '\u09cd' + | '\u09e2' to '\u09e3' + | '\u0a01' to '\u0a02' + | '\u0a3c' + | '\u0a41' to '\u0a51' + | '\u0a70' to '\u0a71' + | '\u0a75' to '\u0a82' + | '\u0abc' + | '\u0ac1' to '\u0ac8' + | '\u0acd' + | '\u0ae2' to '\u0ae3' + | '\u0b01' + | '\u0b3c' + | '\u0b3f' + | '\u0b41' to '\u0b44' + | '\u0b4d' to '\u0b56' + | '\u0b62' to '\u0b63' + | '\u0b82' + | '\u0bc0' + | '\u0bcd' + | '\u0c3e' to '\u0c40' + | '\u0c46' to '\u0c56' + | '\u0c62' to '\u0c63' + | '\u0cbc' + | '\u0cbf' + | '\u0cc6' + | '\u0ccc' to '\u0ccd' + | '\u0ce2' to '\u0ce3' + | '\u0d41' to '\u0d44' + | '\u0d4d' + | '\u0d62' to '\u0d63' + | '\u0dca' + | '\u0dd2' to '\u0dd6' + | '\u0e31' + | '\u0e34' to '\u0e3a' + | '\u0e47' to '\u0e4e' + | '\u0eb1' + | '\u0eb4' to '\u0ebc' + | '\u0ec8' to '\u0ecd' + | '\u0f18' to '\u0f19' + | '\u0f35' + | '\u0f37' + | '\u0f39' + | '\u0f71' to '\u0f7e' + | '\u0f80' to '\u0f84' + | '\u0f86' to '\u0f87' + | '\u0f8d' to '\u0fbc' + | '\u0fc6' + | '\u102d' to '\u1030' + | '\u1032' to '\u1037' + | '\u1039' to '\u103a' + | '\u103d' to '\u103e' + | '\u1058' to '\u1059' + | '\u105e' to '\u1060' + | '\u1071' to '\u1074' + | '\u1082' + | '\u1085' to '\u1086' + | '\u108d' + | '\u109d' + | '\u135d' to '\u135f' + | '\u1712' to '\u1714' + | '\u1732' to '\u1734' + | '\u1752' to '\u1753' + | '\u1772' to '\u1773' + | '\u17b7' to '\u17bd' + | '\u17c6' + | '\u17c9' to '\u17d3' + | '\u17dd' + | '\u180b' to '\u180d' + | '\u18a9' + | '\u1920' to '\u1922' + | '\u1927' to '\u1928' + | '\u1932' + | '\u1939' to '\u193b' + | '\u1a17' to '\u1a18' + | '\u1a56' + | '\u1a58' to '\u1a60' + | '\u1a62' + | '\u1a65' to '\u1a6c' + | '\u1a73' to '\u1a7f' + | '\u1b00' to '\u1b03' + | '\u1b34' + | '\u1b36' to '\u1b3a' + | '\u1b3c' + | '\u1b42' + | '\u1b6b' to '\u1b73' + | '\u1b80' to '\u1b81' + | '\u1ba2' to '\u1ba5' + | '\u1ba8' to '\u1ba9' + | '\u1be6' + | '\u1be8' to '\u1be9' + | '\u1bed' + | '\u1bef' to '\u1bf1' + | '\u1c2c' to '\u1c33' + | '\u1c36' to '\u1c37' + | '\u1cd0' to '\u1cd2' + | '\u1cd4' to '\u1ce0' + | '\u1ce2' to '\u1ce8' + | '\u1ced' + | '\u1dc0' to '\u1dff' + | '\u20d0' to '\u20dc' + | '\u20e1' + | '\u20e5' to '\u20f0' + | '\u2cef' to '\u2cf1' + | '\u2d7f' + | '\u2de0' to '\u2dff' + | '\u302a' to '\u302f' + | '\u3099' to '\u309a' + | '\ua66f' + | '\ua67c' to '\ua67d' + | '\ua6f0' to '\ua6f1' + | '\ua802' + | '\ua806' + | '\ua80b' + | '\ua825' to '\ua826' + | '\ua8c4' + | '\ua8e0' to '\ua8f1' + | '\ua926' to '\ua92d' + | '\ua947' to '\ua951' + | '\ua980' to '\ua982' + | '\ua9b3' + | '\ua9b6' to '\ua9b9' + | '\ua9bc' + | '\uaa29' to '\uaa2e' + | '\uaa31' to '\uaa32' + | '\uaa35' to '\uaa36' + | '\uaa43' + | '\uaa4c' + | '\uaab0' + | '\uaab2' to '\uaab4' + | '\uaab7' to '\uaab8' + | '\uaabe' to '\uaabf' + | '\uaac1' + | '\uabe5' + | '\uabe8' + | '\uabed' + | '\ufb1e' + | '\ufe00' to '\ufe0f' + | '\ufe20' to '\ufe26' + | '\U000101fd' + | '\U00010a01' to '\U00010a0f' + | '\U00010a38' to '\U00010a3f' + | '\U00011001' + | '\U00011038' to '\U00011046' + | '\U00011080' to '\U00011081' + | '\U000110b3' to '\U000110b6' + | '\U000110b9' to '\U000110ba' + | '\U0001d167' to '\U0001d169' + | '\U0001d17b' to '\U0001d182' + | '\U0001d185' to '\U0001d18b' + | '\U0001d1aa' to '\U0001d1ad' + | '\U0001d242' to '\U0001d244' + | '\U000e0100' to '\U000e01ef' + { true } + _ { false } + }; + } + + pure fn Nd(c: char) -> bool { + ret alt c { + '\x30' to '\x39' + | '\u0660' to '\u0669' + | '\u06f0' to '\u06f9' + | '\u07c0' to '\u07c9' + | '\u0966' to '\u096f' + | '\u09e6' to '\u09ef' + | '\u0a66' to '\u0a6f' + | '\u0ae6' to '\u0aef' + | '\u0b66' to '\u0b6f' + | '\u0be6' to '\u0bef' + | '\u0c66' to '\u0c6f' + | '\u0ce6' to '\u0cef' + | '\u0d66' to '\u0d6f' + | '\u0e50' to '\u0e59' + | '\u0ed0' to '\u0ed9' + | '\u0f20' to '\u0f29' + | '\u1040' to '\u1049' + | '\u1090' to '\u1099' + | '\u17e0' to '\u17e9' + | '\u1810' to '\u1819' + | '\u1946' to '\u194f' + | '\u19d0' to '\u19d9' + | '\u1a80' to '\u1a99' + | '\u1b50' to '\u1b59' + | '\u1bb0' to '\u1bb9' + | '\u1c40' to '\u1c49' + | '\u1c50' to '\u1c59' + | '\ua620' to '\ua629' + | '\ua8d0' to '\ua8d9' + | '\ua900' to '\ua909' + | '\ua9d0' to '\ua9d9' + | '\uaa50' to '\uaa59' + | '\uabf0' to '\uabf9' + | '\uff10' to '\uff19' + | '\U000104a0' to '\U000104a9' + | '\U00011066' to '\U0001106f' + | '\U0001d7ce' to '\U0001d7ff' + { true } + _ { false } + }; + } + + pure fn Nl(c: char) -> bool { + ret alt c { + '\u16ee' to '\u16f0' + | '\u2160' to '\u2182' + | '\u2185' to '\u2188' + | '\u3007' + | '\u3021' to '\u3029' + | '\u3038' to '\u303a' + | '\ua6e6' to '\ua6ef' + | '\U00010140' to '\U00010174' + | '\U00010341' + | '\U0001034a' + | '\U000103d1' to '\U000103d5' + | '\U00012400' to '\U00012462' + { true } + _ { false } + }; + } + + pure fn No(c: char) -> bool { + ret alt c { + '\xb2' to '\xb3' + | '\xb9' + | '\xbc' to '\xbe' + | '\u09f4' to '\u09f9' + | '\u0b72' to '\u0b77' + | '\u0bf0' to '\u0bf2' + | '\u0c78' to '\u0c7e' + | '\u0d70' to '\u0d75' + | '\u0f2a' to '\u0f33' + | '\u1369' to '\u137c' + | '\u17f0' to '\u17f9' + | '\u19da' + | '\u2070' + | '\u2074' to '\u2079' + | '\u2080' to '\u2089' + | '\u2150' to '\u215f' + | '\u2189' + | '\u2460' to '\u249b' + | '\u24ea' to '\u24ff' + | '\u2776' to '\u2793' + | '\u2cfd' + | '\u3192' to '\u3195' + | '\u3220' to '\u3229' + | '\u3251' to '\u325f' + | '\u3280' to '\u3289' + | '\u32b1' to '\u32bf' + | '\ua830' to '\ua835' + | '\U00010107' to '\U00010133' + | '\U00010175' to '\U00010178' + | '\U0001018a' + | '\U00010320' to '\U00010323' + | '\U00010858' to '\U0001085f' + | '\U00010916' to '\U0001091b' + | '\U00010a40' to '\U00010a47' + | '\U00010a7d' to '\U00010a7e' + | '\U00010b58' to '\U00010b5f' + | '\U00010b78' to '\U00010b7f' + | '\U00010e60' to '\U00010e7e' + | '\U00011052' to '\U00011065' + | '\U0001d360' to '\U0001d371' + | '\U0001f100' to '\U0001f10a' + { true } + _ { false } + }; + } + + pure fn Pc(c: char) -> bool { + ret alt c { + '\x5f' + | '\u203f' to '\u2040' + | '\u2054' + | '\ufe33' to '\ufe34' + | '\ufe4d' to '\ufe4f' + | '\uff3f' + { true } + _ { false } + }; + } + + pure fn Pd(c: char) -> bool { + ret alt c { + '\x2d' + | '\u058a' + | '\u05be' + | '\u1400' + | '\u1806' + | '\u2010' to '\u2015' + | '\u2e17' + | '\u2e1a' + | '\u301c' + | '\u3030' + | '\u30a0' + | '\ufe31' to '\ufe32' + | '\ufe58' + | '\ufe63' + | '\uff0d' + { true } + _ { false } + }; + } + + pure fn Pe(c: char) -> bool { + ret alt c { + '\x29' + | '\x5d' + | '\x7d' + | '\u0f3b' + | '\u0f3d' + | '\u169c' + | '\u2046' + | '\u207e' + | '\u208e' + | '\u232a' + | '\u2769' + | '\u276b' + | '\u276d' + | '\u276f' + | '\u2771' + | '\u2773' + | '\u2775' + | '\u27c6' + | '\u27e7' + | '\u27e9' + | '\u27eb' + | '\u27ed' + | '\u27ef' + | '\u2984' + | '\u2986' + | '\u2988' + | '\u298a' + | '\u298c' + | '\u298e' + | '\u2990' + | '\u2992' + | '\u2994' + | '\u2996' + | '\u2998' + | '\u29d9' + | '\u29db' + | '\u29fd' + | '\u2e23' + | '\u2e25' + | '\u2e27' + | '\u2e29' + | '\u3009' + | '\u300b' + | '\u300d' + | '\u300f' + | '\u3011' + | '\u3015' + | '\u3017' + | '\u3019' + | '\u301b' + | '\u301e' to '\u301f' + | '\ufd3f' + | '\ufe18' + | '\ufe36' + | '\ufe38' + | '\ufe3a' + | '\ufe3c' + | '\ufe3e' + | '\ufe40' + | '\ufe42' + | '\ufe44' + | '\ufe48' + | '\ufe5a' + | '\ufe5c' + | '\ufe5e' + | '\uff09' + | '\uff3d' + | '\uff5d' + | '\uff60' + | '\uff63' + { true } + _ { false } + }; + } + + pure fn Pf(c: char) -> bool { + ret alt c { + '\xbb' + | '\u2019' + | '\u201d' + | '\u203a' + | '\u2e03' + | '\u2e05' + | '\u2e0a' + | '\u2e0d' + | '\u2e1d' + | '\u2e21' + { true } + _ { false } + }; + } + + pure fn Pi(c: char) -> bool { + ret alt c { + '\xab' + | '\u2018' + | '\u201b' to '\u201c' + | '\u201f' + | '\u2039' + | '\u2e02' + | '\u2e04' + | '\u2e09' + | '\u2e0c' + | '\u2e1c' + | '\u2e20' + { true } + _ { false } + }; + } + + pure fn Po(c: char) -> bool { + ret alt c { + '\x21' to '\x23' + | '\x25' to '\x27' + | '\x2a' + | '\x2c' + | '\x2e' to '\x2f' + | '\x3a' to '\x3b' + | '\x3f' to '\x40' + | '\x5c' + | '\xa1' + | '\xb7' + | '\xbf' + | '\u037e' + | '\u0387' + | '\u055a' to '\u055f' + | '\u0589' + | '\u05c0' + | '\u05c3' + | '\u05c6' + | '\u05f3' to '\u05f4' + | '\u0609' to '\u060a' + | '\u060c' to '\u060d' + | '\u061b' to '\u061f' + | '\u066a' to '\u066d' + | '\u06d4' + | '\u0700' to '\u070d' + | '\u07f7' to '\u07f9' + | '\u0830' to '\u083e' + | '\u085e' + | '\u0964' to '\u0965' + | '\u0970' + | '\u0df4' + | '\u0e4f' + | '\u0e5a' to '\u0e5b' + | '\u0f04' to '\u0f12' + | '\u0f85' + | '\u0fd0' to '\u0fd4' + | '\u0fd9' to '\u0fda' + | '\u104a' to '\u104f' + | '\u10fb' + | '\u1361' to '\u1368' + | '\u166d' to '\u166e' + | '\u16eb' to '\u16ed' + | '\u1735' to '\u1736' + | '\u17d4' to '\u17d6' + | '\u17d8' to '\u17da' + | '\u1800' to '\u1805' + | '\u1807' to '\u180a' + | '\u1944' to '\u1945' + | '\u1a1e' to '\u1a1f' + | '\u1aa0' to '\u1aa6' + | '\u1aa8' to '\u1aad' + | '\u1b5a' to '\u1b60' + | '\u1bfc' to '\u1bff' + | '\u1c3b' to '\u1c3f' + | '\u1c7e' to '\u1c7f' + | '\u1cd3' + | '\u2016' to '\u2017' + | '\u2020' to '\u2027' + | '\u2030' to '\u2038' + | '\u203b' to '\u203e' + | '\u2041' to '\u2043' + | '\u2047' to '\u2051' + | '\u2053' + | '\u2055' to '\u205e' + | '\u2cf9' to '\u2cfc' + | '\u2cfe' to '\u2cff' + | '\u2d70' + | '\u2e00' to '\u2e01' + | '\u2e06' to '\u2e08' + | '\u2e0b' + | '\u2e0e' to '\u2e16' + | '\u2e18' to '\u2e19' + | '\u2e1b' + | '\u2e1e' to '\u2e1f' + | '\u2e2a' to '\u2e2e' + | '\u2e30' to '\u2e31' + | '\u3001' to '\u3003' + | '\u303d' + | '\u30fb' + | '\ua4fe' to '\ua4ff' + | '\ua60d' to '\ua60f' + | '\ua673' + | '\ua67e' + | '\ua6f2' to '\ua6f7' + | '\ua874' to '\ua877' + | '\ua8ce' to '\ua8cf' + | '\ua8f8' to '\ua8fa' + | '\ua92e' to '\ua92f' + | '\ua95f' + | '\ua9c1' to '\ua9cd' + | '\ua9de' to '\ua9df' + | '\uaa5c' to '\uaa5f' + | '\uaade' to '\uaadf' + | '\uabeb' + | '\ufe10' to '\ufe16' + | '\ufe19' + | '\ufe30' + | '\ufe45' to '\ufe46' + | '\ufe49' to '\ufe4c' + | '\ufe50' to '\ufe57' + | '\ufe5f' to '\ufe61' + | '\ufe68' + | '\ufe6a' to '\ufe6b' + | '\uff01' to '\uff03' + | '\uff05' to '\uff07' + | '\uff0a' + | '\uff0c' + | '\uff0e' to '\uff0f' + | '\uff1a' to '\uff1b' + | '\uff1f' to '\uff20' + | '\uff3c' + | '\uff61' + | '\uff64' to '\uff65' + | '\U00010100' to '\U00010101' + | '\U0001039f' + | '\U000103d0' + | '\U00010857' + | '\U0001091f' + | '\U0001093f' + | '\U00010a50' to '\U00010a58' + | '\U00010a7f' + | '\U00010b39' to '\U00010b3f' + | '\U00011047' to '\U0001104d' + | '\U000110bb' to '\U000110bc' + | '\U000110be' to '\U000110c1' + | '\U00012470' to '\U00012473' + { true } + _ { false } + }; + } + + pure fn Ps(c: char) -> bool { + ret alt c { + '\x28' + | '\x5b' + | '\x7b' + | '\u0f3a' + | '\u0f3c' + | '\u169b' + | '\u201a' + | '\u201e' + | '\u2045' + | '\u207d' + | '\u208d' + | '\u2329' + | '\u2768' + | '\u276a' + | '\u276c' + | '\u276e' + | '\u2770' + | '\u2772' + | '\u2774' + | '\u27c5' + | '\u27e6' + | '\u27e8' + | '\u27ea' + | '\u27ec' + | '\u27ee' + | '\u2983' + | '\u2985' + | '\u2987' + | '\u2989' + | '\u298b' + | '\u298d' + | '\u298f' + | '\u2991' + | '\u2993' + | '\u2995' + | '\u2997' + | '\u29d8' + | '\u29da' + | '\u29fc' + | '\u2e22' + | '\u2e24' + | '\u2e26' + | '\u2e28' + | '\u3008' + | '\u300a' + | '\u300c' + | '\u300e' + | '\u3010' + | '\u3014' + | '\u3016' + | '\u3018' + | '\u301a' + | '\u301d' + | '\ufd3e' + | '\ufe17' + | '\ufe35' + | '\ufe37' + | '\ufe39' + | '\ufe3b' + | '\ufe3d' + | '\ufe3f' + | '\ufe41' + | '\ufe43' + | '\ufe47' + | '\ufe59' + | '\ufe5b' + | '\ufe5d' + | '\uff08' + | '\uff3b' + | '\uff5b' + | '\uff5f' + | '\uff62' + { true } + _ { false } + }; + } + + pure fn Sc(c: char) -> bool { + ret alt c { + '\x24' + | '\xa2' to '\xa5' + | '\u060b' + | '\u09f2' to '\u09f3' + | '\u09fb' + | '\u0af1' + | '\u0bf9' + | '\u0e3f' + | '\u17db' + | '\u20a0' to '\u20b9' + | '\ua838' + | '\ufdfc' + | '\ufe69' + | '\uff04' + | '\uffe0' to '\uffe1' + | '\uffe5' to '\uffe6' + { true } + _ { false } + }; + } + + pure fn Sk(c: char) -> bool { + ret alt c { + '\x5e' + | '\x60' + | '\xa8' + | '\xaf' + | '\xb4' + | '\xb8' + | '\u02c2' to '\u02c5' + | '\u02d2' to '\u02df' + | '\u02e5' to '\u02eb' + | '\u02ed' + | '\u02ef' to '\u02ff' + | '\u0375' + | '\u0384' to '\u0385' + | '\u1fbd' + | '\u1fbf' to '\u1fc1' + | '\u1fcd' to '\u1fcf' + | '\u1fdd' to '\u1fdf' + | '\u1fed' to '\u1fef' + | '\u1ffd' to '\u1ffe' + | '\u309b' to '\u309c' + | '\ua700' to '\ua716' + | '\ua720' to '\ua721' + | '\ua789' to '\ua78a' + | '\ufbb2' to '\ufbc1' + | '\uff3e' + | '\uff40' + | '\uffe3' + { true } + _ { false } + }; + } + + pure fn Sm(c: char) -> bool { + ret alt c { + '\x2b' + | '\x3c' to '\x3e' + | '\x7c' + | '\x7e' + | '\xac' + | '\xb1' + | '\xd7' + | '\xf7' + | '\u03f6' + | '\u0606' to '\u0608' + | '\u2044' + | '\u2052' + | '\u207a' to '\u207c' + | '\u208a' to '\u208c' + | '\u2118' + | '\u2140' to '\u2144' + | '\u214b' + | '\u2190' to '\u2194' + | '\u219a' to '\u219b' + | '\u21a0' + | '\u21a3' + | '\u21a6' + | '\u21ae' + | '\u21ce' to '\u21cf' + | '\u21d2' + | '\u21d4' + | '\u21f4' to '\u22ff' + | '\u2308' to '\u230b' + | '\u2320' to '\u2321' + | '\u237c' + | '\u239b' to '\u23b3' + | '\u23dc' to '\u23e1' + | '\u25b7' + | '\u25c1' + | '\u25f8' to '\u25ff' + | '\u266f' + | '\u27c0' to '\u27c4' + | '\u27c7' to '\u27e5' + | '\u27f0' to '\u27ff' + | '\u2900' to '\u2982' + | '\u2999' to '\u29d7' + | '\u29dc' to '\u29fb' + | '\u29fe' to '\u2aff' + | '\u2b30' to '\u2b44' + | '\u2b47' to '\u2b4c' + | '\ufb29' + | '\ufe62' + | '\ufe64' to '\ufe66' + | '\uff0b' + | '\uff1c' to '\uff1e' + | '\uff5c' + | '\uff5e' + | '\uffe2' + | '\uffe9' to '\uffec' + | '\U0001d6c1' + | '\U0001d6db' + | '\U0001d6fb' + | '\U0001d715' + | '\U0001d735' + | '\U0001d74f' + | '\U0001d76f' + | '\U0001d789' + | '\U0001d7a9' + | '\U0001d7c3' + { true } + _ { false } + }; + } + + pure fn So(c: char) -> bool { + ret alt c { + '\xa6' to '\xa7' + | '\xa9' + | '\xae' + | '\xb0' + | '\xb6' + | '\u0482' + | '\u060e' to '\u060f' + | '\u06de' + | '\u06e9' + | '\u06fd' to '\u06fe' + | '\u07f6' + | '\u09fa' + | '\u0b70' + | '\u0bf3' to '\u0bf8' + | '\u0bfa' + | '\u0c7f' + | '\u0d79' + | '\u0f01' to '\u0f03' + | '\u0f13' to '\u0f17' + | '\u0f1a' to '\u0f1f' + | '\u0f34' + | '\u0f36' + | '\u0f38' + | '\u0fbe' to '\u0fc5' + | '\u0fc7' to '\u0fcf' + | '\u0fd5' to '\u0fd8' + | '\u109e' to '\u109f' + | '\u1360' + | '\u1390' to '\u1399' + | '\u1940' + | '\u19de' to '\u19ff' + | '\u1b61' to '\u1b6a' + | '\u1b74' to '\u1b7c' + | '\u2100' to '\u2101' + | '\u2103' to '\u2106' + | '\u2108' to '\u2109' + | '\u2114' + | '\u2116' to '\u2117' + | '\u211e' to '\u2123' + | '\u2125' + | '\u2127' + | '\u2129' + | '\u212e' + | '\u213a' to '\u213b' + | '\u214a' + | '\u214c' to '\u214d' + | '\u214f' + | '\u2195' to '\u2199' + | '\u219c' to '\u219f' + | '\u21a1' to '\u21a2' + | '\u21a4' to '\u21a5' + | '\u21a7' to '\u21ad' + | '\u21af' to '\u21cd' + | '\u21d0' to '\u21d1' + | '\u21d3' + | '\u21d5' to '\u21f3' + | '\u2300' to '\u2307' + | '\u230c' to '\u231f' + | '\u2322' to '\u2328' + | '\u232b' to '\u237b' + | '\u237d' to '\u239a' + | '\u23b4' to '\u23db' + | '\u23e2' to '\u244a' + | '\u249c' to '\u24e9' + | '\u2500' to '\u25b6' + | '\u25b8' to '\u25c0' + | '\u25c2' to '\u25f7' + | '\u2600' to '\u266e' + | '\u2670' to '\u2767' + | '\u2794' to '\u27bf' + | '\u2800' to '\u28ff' + | '\u2b00' to '\u2b2f' + | '\u2b45' to '\u2b46' + | '\u2b50' to '\u2b59' + | '\u2ce5' to '\u2cea' + | '\u2e80' to '\u2ffb' + | '\u3004' + | '\u3012' to '\u3013' + | '\u3020' + | '\u3036' to '\u3037' + | '\u303e' to '\u303f' + | '\u3190' to '\u3191' + | '\u3196' to '\u319f' + | '\u31c0' to '\u31e3' + | '\u3200' to '\u321e' + | '\u322a' to '\u3250' + | '\u3260' to '\u327f' + | '\u328a' to '\u32b0' + | '\u32c0' to '\u33ff' + | '\u4dc0' to '\u4dff' + | '\ua490' to '\ua4c6' + | '\ua828' to '\ua82b' + | '\ua836' to '\ua837' + | '\ua839' + | '\uaa77' to '\uaa79' + | '\ufdfd' + | '\uffe4' + | '\uffe8' + | '\uffed' to '\uffee' + | '\ufffc' to '\ufffd' + | '\U00010102' + | '\U00010137' to '\U0001013f' + | '\U00010179' to '\U00010189' + | '\U00010190' to '\U000101fc' + | '\U0001d000' to '\U0001d164' + | '\U0001d16a' to '\U0001d16c' + | '\U0001d183' to '\U0001d184' + | '\U0001d18c' to '\U0001d1a9' + | '\U0001d1ae' to '\U0001d241' + | '\U0001d245' to '\U0001d356' + | '\U0001f000' to '\U0001f0df' + | '\U0001f110' to '\U0001f773' + { true } + _ { false } + }; + } + + pure fn Zl(c: char) -> bool { + ret alt c { + '\u2028' + { true } + _ { false } + }; + } + + pure fn Zp(c: char) -> bool { + ret alt c { + '\u2029' + { true } + _ { false } + }; + } + + pure fn Zs(c: char) -> bool { + ret alt c { + '\x20' + | '\xa0' + | '\u1680' + | '\u180e' + | '\u2000' to '\u200a' + | '\u202f' + | '\u205f' + | '\u3000' + { true } + _ { false } + }; + } + +} +mod derived_property { + pure fn Alphabetic(c: char) -> bool { + ret alt c { + '\x41' to '\x5a' + | '\x61' to '\x7a' + | '\xaa' + | '\xb5' + | '\xba' + | '\xc0' to '\xd6' + | '\xd8' to '\xf6' + | '\xf8' to '\u01ba' + | '\u01bb' + | '\u01bc' to '\u01bf' + | '\u01c0' to '\u01c3' + | '\u01c4' to '\u0293' + | '\u0294' + | '\u0295' to '\u02af' + | '\u02b0' to '\u02c1' + | '\u02c6' to '\u02d1' + | '\u02e0' to '\u02e4' + | '\u02ec' + | '\u02ee' + | '\u0345' + | '\u0370' to '\u0373' + | '\u0374' + | '\u0376' to '\u0377' + | '\u037a' + | '\u037b' to '\u037d' + | '\u0386' + | '\u0388' to '\u038a' + | '\u038c' + | '\u038e' to '\u03a1' + | '\u03a3' to '\u03f5' + | '\u03f7' to '\u0481' + | '\u048a' to '\u0527' + | '\u0531' to '\u0556' + | '\u0559' + | '\u0561' to '\u0587' + | '\u05b0' to '\u05bd' + | '\u05bf' + | '\u05c1' to '\u05c2' + | '\u05c4' to '\u05c5' + | '\u05c7' + | '\u05d0' to '\u05ea' + | '\u05f0' to '\u05f2' + | '\u0610' to '\u061a' + | '\u0620' to '\u063f' + | '\u0640' + | '\u0641' to '\u064a' + | '\u064b' to '\u0657' + | '\u0659' to '\u065f' + | '\u066e' to '\u066f' + | '\u0670' + | '\u0671' to '\u06d3' + | '\u06d5' + | '\u06d6' to '\u06dc' + | '\u06e1' to '\u06e4' + | '\u06e5' to '\u06e6' + | '\u06e7' to '\u06e8' + | '\u06ed' + | '\u06ee' to '\u06ef' + | '\u06fa' to '\u06fc' + | '\u06ff' + | '\u0710' + | '\u0711' + | '\u0712' to '\u072f' + | '\u0730' to '\u073f' + | '\u074d' to '\u07a5' + | '\u07a6' to '\u07b0' + | '\u07b1' + | '\u07ca' to '\u07ea' + | '\u07f4' to '\u07f5' + | '\u07fa' + | '\u0800' to '\u0815' + | '\u0816' to '\u0817' + | '\u081a' + | '\u081b' to '\u0823' + | '\u0824' + | '\u0825' to '\u0827' + | '\u0828' + | '\u0829' to '\u082c' + | '\u0840' to '\u0858' + | '\u0900' to '\u0902' + | '\u0903' + | '\u0904' to '\u0939' + | '\u093a' + | '\u093b' + | '\u093d' + | '\u093e' to '\u0940' + | '\u0941' to '\u0948' + | '\u0949' to '\u094c' + | '\u094e' to '\u094f' + | '\u0950' + | '\u0955' to '\u0957' + | '\u0958' to '\u0961' + | '\u0962' to '\u0963' + | '\u0971' + | '\u0972' to '\u0977' + | '\u0979' to '\u097f' + | '\u0981' + | '\u0982' to '\u0983' + | '\u0985' to '\u098c' + | '\u098f' to '\u0990' + | '\u0993' to '\u09a8' + | '\u09aa' to '\u09b0' + | '\u09b2' + | '\u09b6' to '\u09b9' + | '\u09bd' + | '\u09be' to '\u09c0' + | '\u09c1' to '\u09c4' + | '\u09c7' to '\u09c8' + | '\u09cb' to '\u09cc' + | '\u09ce' + | '\u09d7' + | '\u09dc' to '\u09dd' + | '\u09df' to '\u09e1' + | '\u09e2' to '\u09e3' + | '\u09f0' to '\u09f1' + | '\u0a01' to '\u0a02' + | '\u0a03' + | '\u0a05' to '\u0a0a' + | '\u0a0f' to '\u0a10' + | '\u0a13' to '\u0a28' + | '\u0a2a' to '\u0a30' + | '\u0a32' to '\u0a33' + | '\u0a35' to '\u0a36' + | '\u0a38' to '\u0a39' + | '\u0a3e' to '\u0a40' + | '\u0a41' to '\u0a42' + | '\u0a47' to '\u0a48' + | '\u0a4b' to '\u0a4c' + | '\u0a51' + | '\u0a59' to '\u0a5c' + | '\u0a5e' + | '\u0a70' to '\u0a71' + | '\u0a72' to '\u0a74' + | '\u0a75' + | '\u0a81' to '\u0a82' + | '\u0a83' + | '\u0a85' to '\u0a8d' + | '\u0a8f' to '\u0a91' + | '\u0a93' to '\u0aa8' + | '\u0aaa' to '\u0ab0' + | '\u0ab2' to '\u0ab3' + | '\u0ab5' to '\u0ab9' + | '\u0abd' + | '\u0abe' to '\u0ac0' + | '\u0ac1' to '\u0ac5' + | '\u0ac7' to '\u0ac8' + | '\u0ac9' + | '\u0acb' to '\u0acc' + | '\u0ad0' + | '\u0ae0' to '\u0ae1' + | '\u0ae2' to '\u0ae3' + | '\u0b01' + | '\u0b02' to '\u0b03' + | '\u0b05' to '\u0b0c' + | '\u0b0f' to '\u0b10' + | '\u0b13' to '\u0b28' + | '\u0b2a' to '\u0b30' + | '\u0b32' to '\u0b33' + | '\u0b35' to '\u0b39' + | '\u0b3d' + | '\u0b3e' + | '\u0b3f' + | '\u0b40' + | '\u0b41' to '\u0b44' + | '\u0b47' to '\u0b48' + | '\u0b4b' to '\u0b4c' + | '\u0b56' + | '\u0b57' + | '\u0b5c' to '\u0b5d' + | '\u0b5f' to '\u0b61' + | '\u0b62' to '\u0b63' + | '\u0b71' + | '\u0b82' + | '\u0b83' + | '\u0b85' to '\u0b8a' + | '\u0b8e' to '\u0b90' + | '\u0b92' to '\u0b95' + | '\u0b99' to '\u0b9a' + | '\u0b9c' + | '\u0b9e' to '\u0b9f' + | '\u0ba3' to '\u0ba4' + | '\u0ba8' to '\u0baa' + | '\u0bae' to '\u0bb9' + | '\u0bbe' to '\u0bbf' + | '\u0bc0' + | '\u0bc1' to '\u0bc2' + | '\u0bc6' to '\u0bc8' + | '\u0bca' to '\u0bcc' + | '\u0bd0' + | '\u0bd7' + | '\u0c01' to '\u0c03' + | '\u0c05' to '\u0c0c' + | '\u0c0e' to '\u0c10' + | '\u0c12' to '\u0c28' + | '\u0c2a' to '\u0c33' + | '\u0c35' to '\u0c39' + | '\u0c3d' + | '\u0c3e' to '\u0c40' + | '\u0c41' to '\u0c44' + | '\u0c46' to '\u0c48' + | '\u0c4a' to '\u0c4c' + | '\u0c55' to '\u0c56' + | '\u0c58' to '\u0c59' + | '\u0c60' to '\u0c61' + | '\u0c62' to '\u0c63' + | '\u0c82' to '\u0c83' + | '\u0c85' to '\u0c8c' + | '\u0c8e' to '\u0c90' + | '\u0c92' to '\u0ca8' + | '\u0caa' to '\u0cb3' + | '\u0cb5' to '\u0cb9' + | '\u0cbd' + | '\u0cbe' + | '\u0cbf' + | '\u0cc0' to '\u0cc4' + | '\u0cc6' + | '\u0cc7' to '\u0cc8' + | '\u0cca' to '\u0ccb' + | '\u0ccc' + | '\u0cd5' to '\u0cd6' + | '\u0cde' + | '\u0ce0' to '\u0ce1' + | '\u0ce2' to '\u0ce3' + | '\u0cf1' to '\u0cf2' + | '\u0d02' to '\u0d03' + | '\u0d05' to '\u0d0c' + | '\u0d0e' to '\u0d10' + | '\u0d12' to '\u0d3a' + | '\u0d3d' + | '\u0d3e' to '\u0d40' + | '\u0d41' to '\u0d44' + | '\u0d46' to '\u0d48' + | '\u0d4a' to '\u0d4c' + | '\u0d4e' + | '\u0d57' + | '\u0d60' to '\u0d61' + | '\u0d62' to '\u0d63' + | '\u0d7a' to '\u0d7f' + | '\u0d82' to '\u0d83' + | '\u0d85' to '\u0d96' + | '\u0d9a' to '\u0db1' + | '\u0db3' to '\u0dbb' + | '\u0dbd' + | '\u0dc0' to '\u0dc6' + | '\u0dcf' to '\u0dd1' + | '\u0dd2' to '\u0dd4' + | '\u0dd6' + | '\u0dd8' to '\u0ddf' + | '\u0df2' to '\u0df3' + | '\u0e01' to '\u0e30' + | '\u0e31' + | '\u0e32' to '\u0e33' + | '\u0e34' to '\u0e3a' + | '\u0e40' to '\u0e45' + | '\u0e46' + | '\u0e4d' + | '\u0e81' to '\u0e82' + | '\u0e84' + | '\u0e87' to '\u0e88' + | '\u0e8a' + | '\u0e8d' + | '\u0e94' to '\u0e97' + | '\u0e99' to '\u0e9f' + | '\u0ea1' to '\u0ea3' + | '\u0ea5' + | '\u0ea7' + | '\u0eaa' to '\u0eab' + | '\u0ead' to '\u0eb0' + | '\u0eb1' + | '\u0eb2' to '\u0eb3' + | '\u0eb4' to '\u0eb9' + | '\u0ebb' to '\u0ebc' + | '\u0ebd' + | '\u0ec0' to '\u0ec4' + | '\u0ec6' + | '\u0ecd' + | '\u0edc' to '\u0edd' + | '\u0f00' + | '\u0f40' to '\u0f47' + | '\u0f49' to '\u0f6c' + | '\u0f71' to '\u0f7e' + | '\u0f7f' + | '\u0f80' to '\u0f81' + | '\u0f88' to '\u0f8c' + | '\u0f8d' to '\u0f97' + | '\u0f99' to '\u0fbc' + | '\u1000' to '\u102a' + | '\u102b' to '\u102c' + | '\u102d' to '\u1030' + | '\u1031' + | '\u1032' to '\u1036' + | '\u1038' + | '\u103b' to '\u103c' + | '\u103d' to '\u103e' + | '\u103f' + | '\u1050' to '\u1055' + | '\u1056' to '\u1057' + | '\u1058' to '\u1059' + | '\u105a' to '\u105d' + | '\u105e' to '\u1060' + | '\u1061' + | '\u1062' + | '\u1065' to '\u1066' + | '\u1067' to '\u1068' + | '\u106e' to '\u1070' + | '\u1071' to '\u1074' + | '\u1075' to '\u1081' + | '\u1082' + | '\u1083' to '\u1084' + | '\u1085' to '\u1086' + | '\u108e' + | '\u109c' + | '\u109d' + | '\u10a0' to '\u10c5' + | '\u10d0' to '\u10fa' + | '\u10fc' + | '\u1100' to '\u1248' + | '\u124a' to '\u124d' + | '\u1250' to '\u1256' + | '\u1258' + | '\u125a' to '\u125d' + | '\u1260' to '\u1288' + | '\u128a' to '\u128d' + | '\u1290' to '\u12b0' + | '\u12b2' to '\u12b5' + | '\u12b8' to '\u12be' + | '\u12c0' + | '\u12c2' to '\u12c5' + | '\u12c8' to '\u12d6' + | '\u12d8' to '\u1310' + | '\u1312' to '\u1315' + | '\u1318' to '\u135a' + | '\u135f' + | '\u1380' to '\u138f' + | '\u13a0' to '\u13f4' + | '\u1401' to '\u166c' + | '\u166f' to '\u167f' + | '\u1681' to '\u169a' + | '\u16a0' to '\u16ea' + | '\u16ee' to '\u16f0' + | '\u1700' to '\u170c' + | '\u170e' to '\u1711' + | '\u1712' to '\u1713' + | '\u1720' to '\u1731' + | '\u1732' to '\u1733' + | '\u1740' to '\u1751' + | '\u1752' to '\u1753' + | '\u1760' to '\u176c' + | '\u176e' to '\u1770' + | '\u1772' to '\u1773' + | '\u1780' to '\u17b3' + | '\u17b6' + | '\u17b7' to '\u17bd' + | '\u17be' to '\u17c5' + | '\u17c6' + | '\u17c7' to '\u17c8' + | '\u17d7' + | '\u17dc' + | '\u1820' to '\u1842' + | '\u1843' + | '\u1844' to '\u1877' + | '\u1880' to '\u18a8' + | '\u18a9' + | '\u18aa' + | '\u18b0' to '\u18f5' + | '\u1900' to '\u191c' + | '\u1920' to '\u1922' + | '\u1923' to '\u1926' + | '\u1927' to '\u1928' + | '\u1929' to '\u192b' + | '\u1930' to '\u1931' + | '\u1932' + | '\u1933' to '\u1938' + | '\u1950' to '\u196d' + | '\u1970' to '\u1974' + | '\u1980' to '\u19ab' + | '\u19b0' to '\u19c0' + | '\u19c1' to '\u19c7' + | '\u19c8' to '\u19c9' + | '\u1a00' to '\u1a16' + | '\u1a17' to '\u1a18' + | '\u1a19' to '\u1a1b' + | '\u1a20' to '\u1a54' + | '\u1a55' + | '\u1a56' + | '\u1a57' + | '\u1a58' to '\u1a5e' + | '\u1a61' + | '\u1a62' + | '\u1a63' to '\u1a64' + | '\u1a65' to '\u1a6c' + | '\u1a6d' to '\u1a72' + | '\u1a73' to '\u1a74' + | '\u1aa7' + | '\u1b00' to '\u1b03' + | '\u1b04' + | '\u1b05' to '\u1b33' + | '\u1b35' + | '\u1b36' to '\u1b3a' + | '\u1b3b' + | '\u1b3c' + | '\u1b3d' to '\u1b41' + | '\u1b42' + | '\u1b43' + | '\u1b45' to '\u1b4b' + | '\u1b80' to '\u1b81' + | '\u1b82' + | '\u1b83' to '\u1ba0' + | '\u1ba1' + | '\u1ba2' to '\u1ba5' + | '\u1ba6' to '\u1ba7' + | '\u1ba8' to '\u1ba9' + | '\u1bae' to '\u1baf' + | '\u1bc0' to '\u1be5' + | '\u1be7' + | '\u1be8' to '\u1be9' + | '\u1bea' to '\u1bec' + | '\u1bed' + | '\u1bee' + | '\u1bef' to '\u1bf1' + | '\u1c00' to '\u1c23' + | '\u1c24' to '\u1c2b' + | '\u1c2c' to '\u1c33' + | '\u1c34' to '\u1c35' + | '\u1c4d' to '\u1c4f' + | '\u1c5a' to '\u1c77' + | '\u1c78' to '\u1c7d' + | '\u1ce9' to '\u1cec' + | '\u1cee' to '\u1cf1' + | '\u1cf2' + | '\u1d00' to '\u1d2b' + | '\u1d2c' to '\u1d61' + | '\u1d62' to '\u1d77' + | '\u1d78' + | '\u1d79' to '\u1d9a' + | '\u1d9b' to '\u1dbf' + | '\u1e00' to '\u1f15' + | '\u1f18' to '\u1f1d' + | '\u1f20' to '\u1f45' + | '\u1f48' to '\u1f4d' + | '\u1f50' to '\u1f57' + | '\u1f59' + | '\u1f5b' + | '\u1f5d' + | '\u1f5f' to '\u1f7d' + | '\u1f80' to '\u1fb4' + | '\u1fb6' to '\u1fbc' + | '\u1fbe' + | '\u1fc2' to '\u1fc4' + | '\u1fc6' to '\u1fcc' + | '\u1fd0' to '\u1fd3' + | '\u1fd6' to '\u1fdb' + | '\u1fe0' to '\u1fec' + | '\u1ff2' to '\u1ff4' + | '\u1ff6' to '\u1ffc' + | '\u2071' + | '\u207f' + | '\u2090' to '\u209c' + | '\u2102' + | '\u2107' + | '\u210a' to '\u2113' + | '\u2115' + | '\u2119' to '\u211d' + | '\u2124' + | '\u2126' + | '\u2128' + | '\u212a' to '\u212d' + | '\u212f' to '\u2134' + | '\u2135' to '\u2138' + | '\u2139' + | '\u213c' to '\u213f' + | '\u2145' to '\u2149' + | '\u214e' + | '\u2160' to '\u2182' + | '\u2183' to '\u2184' + | '\u2185' to '\u2188' + | '\u24b6' to '\u24e9' + | '\u2c00' to '\u2c2e' + | '\u2c30' to '\u2c5e' + | '\u2c60' to '\u2c7c' + | '\u2c7d' + | '\u2c7e' to '\u2ce4' + | '\u2ceb' to '\u2cee' + | '\u2d00' to '\u2d25' + | '\u2d30' to '\u2d65' + | '\u2d6f' + | '\u2d80' to '\u2d96' + | '\u2da0' to '\u2da6' + | '\u2da8' to '\u2dae' + | '\u2db0' to '\u2db6' + | '\u2db8' to '\u2dbe' + | '\u2dc0' to '\u2dc6' + | '\u2dc8' to '\u2dce' + | '\u2dd0' to '\u2dd6' + | '\u2dd8' to '\u2dde' + | '\u2de0' to '\u2dff' + | '\u2e2f' + | '\u3005' + | '\u3006' + | '\u3007' + | '\u3021' to '\u3029' + | '\u3031' to '\u3035' + | '\u3038' to '\u303a' + | '\u303b' + | '\u303c' + | '\u3041' to '\u3096' + | '\u309d' to '\u309e' + | '\u309f' + | '\u30a1' to '\u30fa' + | '\u30fc' to '\u30fe' + | '\u30ff' + | '\u3105' to '\u312d' + | '\u3131' to '\u318e' + | '\u31a0' to '\u31ba' + | '\u31f0' to '\u31ff' + | '\u3400' to '\u4db5' + | '\u4e00' to '\u9fcb' + | '\ua000' to '\ua014' + | '\ua015' + | '\ua016' to '\ua48c' + | '\ua4d0' to '\ua4f7' + | '\ua4f8' to '\ua4fd' + | '\ua500' to '\ua60b' + | '\ua60c' + | '\ua610' to '\ua61f' + | '\ua62a' to '\ua62b' + | '\ua640' to '\ua66d' + | '\ua66e' + | '\ua67f' + | '\ua680' to '\ua697' + | '\ua6a0' to '\ua6e5' + | '\ua6e6' to '\ua6ef' + | '\ua717' to '\ua71f' + | '\ua722' to '\ua76f' + | '\ua770' + | '\ua771' to '\ua787' + | '\ua788' + | '\ua78b' to '\ua78e' + | '\ua790' to '\ua791' + | '\ua7a0' to '\ua7a9' + | '\ua7fa' + | '\ua7fb' to '\ua801' + | '\ua803' to '\ua805' + | '\ua807' to '\ua80a' + | '\ua80c' to '\ua822' + | '\ua823' to '\ua824' + | '\ua825' to '\ua826' + | '\ua827' + | '\ua840' to '\ua873' + | '\ua880' to '\ua881' + | '\ua882' to '\ua8b3' + | '\ua8b4' to '\ua8c3' + | '\ua8f2' to '\ua8f7' + | '\ua8fb' + | '\ua90a' to '\ua925' + | '\ua926' to '\ua92a' + | '\ua930' to '\ua946' + | '\ua947' to '\ua951' + | '\ua952' + | '\ua960' to '\ua97c' + | '\ua980' to '\ua982' + | '\ua983' + | '\ua984' to '\ua9b2' + | '\ua9b4' to '\ua9b5' + | '\ua9b6' to '\ua9b9' + | '\ua9ba' to '\ua9bb' + | '\ua9bc' + | '\ua9bd' to '\ua9bf' + | '\ua9cf' + | '\uaa00' to '\uaa28' + | '\uaa29' to '\uaa2e' + | '\uaa2f' to '\uaa30' + | '\uaa31' to '\uaa32' + | '\uaa33' to '\uaa34' + | '\uaa35' to '\uaa36' + | '\uaa40' to '\uaa42' + | '\uaa43' + | '\uaa44' to '\uaa4b' + | '\uaa4c' + | '\uaa4d' + | '\uaa60' to '\uaa6f' + | '\uaa70' + | '\uaa71' to '\uaa76' + | '\uaa7a' + | '\uaa80' to '\uaaaf' + | '\uaab0' + | '\uaab1' + | '\uaab2' to '\uaab4' + | '\uaab5' to '\uaab6' + | '\uaab7' to '\uaab8' + | '\uaab9' to '\uaabd' + | '\uaabe' + | '\uaac0' + | '\uaac2' + | '\uaadb' to '\uaadc' + | '\uaadd' + | '\uab01' to '\uab06' + | '\uab09' to '\uab0e' + | '\uab11' to '\uab16' + | '\uab20' to '\uab26' + | '\uab28' to '\uab2e' + | '\uabc0' to '\uabe2' + | '\uabe3' to '\uabe4' + | '\uabe5' + | '\uabe6' to '\uabe7' + | '\uabe8' + | '\uabe9' to '\uabea' + | '\uac00' to '\ud7a3' + | '\ud7b0' to '\ud7c6' + | '\ud7cb' to '\ud7fb' + | '\uf900' to '\ufa2d' + | '\ufa30' to '\ufa6d' + | '\ufa70' to '\ufad9' + | '\ufb00' to '\ufb06' + | '\ufb13' to '\ufb17' + | '\ufb1d' + | '\ufb1e' + | '\ufb1f' to '\ufb28' + | '\ufb2a' to '\ufb36' + | '\ufb38' to '\ufb3c' + | '\ufb3e' + | '\ufb40' to '\ufb41' + | '\ufb43' to '\ufb44' + | '\ufb46' to '\ufbb1' + | '\ufbd3' to '\ufd3d' + | '\ufd50' to '\ufd8f' + | '\ufd92' to '\ufdc7' + | '\ufdf0' to '\ufdfb' + | '\ufe70' to '\ufe74' + | '\ufe76' to '\ufefc' + | '\uff21' to '\uff3a' + | '\uff41' to '\uff5a' + | '\uff66' to '\uff6f' + | '\uff70' + | '\uff71' to '\uff9d' + | '\uff9e' to '\uff9f' + | '\uffa0' to '\uffbe' + | '\uffc2' to '\uffc7' + | '\uffca' to '\uffcf' + | '\uffd2' to '\uffd7' + | '\uffda' to '\uffdc' + | '\U00010000' to '\U0001000b' + | '\U0001000d' to '\U00010026' + | '\U00010028' to '\U0001003a' + | '\U0001003c' to '\U0001003d' + | '\U0001003f' to '\U0001004d' + | '\U00010050' to '\U0001005d' + | '\U00010080' to '\U000100fa' + | '\U00010140' to '\U00010174' + | '\U00010280' to '\U0001029c' + | '\U000102a0' to '\U000102d0' + | '\U00010300' to '\U0001031e' + | '\U00010330' to '\U00010340' + | '\U00010341' + | '\U00010342' to '\U00010349' + | '\U0001034a' + | '\U00010380' to '\U0001039d' + | '\U000103a0' to '\U000103c3' + | '\U000103c8' to '\U000103cf' + | '\U000103d1' to '\U000103d5' + | '\U00010400' to '\U0001044f' + | '\U00010450' to '\U0001049d' + | '\U00010800' to '\U00010805' + | '\U00010808' + | '\U0001080a' to '\U00010835' + | '\U00010837' to '\U00010838' + | '\U0001083c' + | '\U0001083f' to '\U00010855' + | '\U00010900' to '\U00010915' + | '\U00010920' to '\U00010939' + | '\U00010a00' + | '\U00010a01' to '\U00010a03' + | '\U00010a05' to '\U00010a06' + | '\U00010a0c' to '\U00010a0f' + | '\U00010a10' to '\U00010a13' + | '\U00010a15' to '\U00010a17' + | '\U00010a19' to '\U00010a33' + | '\U00010a60' to '\U00010a7c' + | '\U00010b00' to '\U00010b35' + | '\U00010b40' to '\U00010b55' + | '\U00010b60' to '\U00010b72' + | '\U00010c00' to '\U00010c48' + | '\U00011000' + | '\U00011001' + | '\U00011002' + | '\U00011003' to '\U00011037' + | '\U00011038' to '\U00011045' + | '\U00011082' + | '\U00011083' to '\U000110af' + | '\U000110b0' to '\U000110b2' + | '\U000110b3' to '\U000110b6' + | '\U000110b7' to '\U000110b8' + | '\U00012000' to '\U0001236e' + | '\U00012400' to '\U00012462' + | '\U00013000' to '\U0001342e' + | '\U00016800' to '\U00016a38' + | '\U0001b000' to '\U0001b001' + | '\U0001d400' to '\U0001d454' + | '\U0001d456' to '\U0001d49c' + | '\U0001d49e' to '\U0001d49f' + | '\U0001d4a2' + | '\U0001d4a5' to '\U0001d4a6' + | '\U0001d4a9' to '\U0001d4ac' + | '\U0001d4ae' to '\U0001d4b9' + | '\U0001d4bb' + | '\U0001d4bd' to '\U0001d4c3' + | '\U0001d4c5' to '\U0001d505' + | '\U0001d507' to '\U0001d50a' + | '\U0001d50d' to '\U0001d514' + | '\U0001d516' to '\U0001d51c' + | '\U0001d51e' to '\U0001d539' + | '\U0001d53b' to '\U0001d53e' + | '\U0001d540' to '\U0001d544' + | '\U0001d546' + | '\U0001d54a' to '\U0001d550' + | '\U0001d552' to '\U0001d6a5' + | '\U0001d6a8' to '\U0001d6c0' + | '\U0001d6c2' to '\U0001d6da' + | '\U0001d6dc' to '\U0001d6fa' + | '\U0001d6fc' to '\U0001d714' + | '\U0001d716' to '\U0001d734' + | '\U0001d736' to '\U0001d74e' + | '\U0001d750' to '\U0001d76e' + | '\U0001d770' to '\U0001d788' + | '\U0001d78a' to '\U0001d7a8' + | '\U0001d7aa' to '\U0001d7c2' + | '\U0001d7c4' to '\U0001d7cb' + | '\U00020000' to '\U0002a6d6' + | '\U0002a700' to '\U0002b734' + | '\U0002b740' to '\U0002b81d' + | '\U0002f800' to '\U0002fa1d' + { true } + _ { false } + }; + } + + pure fn XID_Continue(c: char) -> bool { + ret alt c { + '\x30' to '\x39' + | '\x41' to '\x5a' + | '\x5f' + | '\x61' to '\x7a' + | '\xaa' + | '\xb5' + | '\xb7' + | '\xba' + | '\xc0' to '\xd6' + | '\xd8' to '\xf6' + | '\xf8' to '\u01ba' + | '\u01bb' + | '\u01bc' to '\u01bf' + | '\u01c0' to '\u01c3' + | '\u01c4' to '\u0293' + | '\u0294' + | '\u0295' to '\u02af' + | '\u02b0' to '\u02c1' + | '\u02c6' to '\u02d1' + | '\u02e0' to '\u02e4' + | '\u02ec' + | '\u02ee' + | '\u0300' to '\u036f' + | '\u0370' to '\u0373' + | '\u0374' + | '\u0376' to '\u0377' + | '\u037b' to '\u037d' + | '\u0386' + | '\u0387' + | '\u0388' to '\u038a' + | '\u038c' + | '\u038e' to '\u03a1' + | '\u03a3' to '\u03f5' + | '\u03f7' to '\u0481' + | '\u0483' to '\u0487' + | '\u048a' to '\u0527' + | '\u0531' to '\u0556' + | '\u0559' + | '\u0561' to '\u0587' + | '\u0591' to '\u05bd' + | '\u05bf' + | '\u05c1' to '\u05c2' + | '\u05c4' to '\u05c5' + | '\u05c7' + | '\u05d0' to '\u05ea' + | '\u05f0' to '\u05f2' + | '\u0610' to '\u061a' + | '\u0620' to '\u063f' + | '\u0640' + | '\u0641' to '\u064a' + | '\u064b' to '\u065f' + | '\u0660' to '\u0669' + | '\u066e' to '\u066f' + | '\u0670' + | '\u0671' to '\u06d3' + | '\u06d5' + | '\u06d6' to '\u06dc' + | '\u06df' to '\u06e4' + | '\u06e5' to '\u06e6' + | '\u06e7' to '\u06e8' + | '\u06ea' to '\u06ed' + | '\u06ee' to '\u06ef' + | '\u06f0' to '\u06f9' + | '\u06fa' to '\u06fc' + | '\u06ff' + | '\u0710' + | '\u0711' + | '\u0712' to '\u072f' + | '\u0730' to '\u074a' + | '\u074d' to '\u07a5' + | '\u07a6' to '\u07b0' + | '\u07b1' + | '\u07c0' to '\u07c9' + | '\u07ca' to '\u07ea' + | '\u07eb' to '\u07f3' + | '\u07f4' to '\u07f5' + | '\u07fa' + | '\u0800' to '\u0815' + | '\u0816' to '\u0819' + | '\u081a' + | '\u081b' to '\u0823' + | '\u0824' + | '\u0825' to '\u0827' + | '\u0828' + | '\u0829' to '\u082d' + | '\u0840' to '\u0858' + | '\u0859' to '\u085b' + | '\u0900' to '\u0902' + | '\u0903' + | '\u0904' to '\u0939' + | '\u093a' + | '\u093b' + | '\u093c' + | '\u093d' + | '\u093e' to '\u0940' + | '\u0941' to '\u0948' + | '\u0949' to '\u094c' + | '\u094d' + | '\u094e' to '\u094f' + | '\u0950' + | '\u0951' to '\u0957' + | '\u0958' to '\u0961' + | '\u0962' to '\u0963' + | '\u0966' to '\u096f' + | '\u0971' + | '\u0972' to '\u0977' + | '\u0979' to '\u097f' + | '\u0981' + | '\u0982' to '\u0983' + | '\u0985' to '\u098c' + | '\u098f' to '\u0990' + | '\u0993' to '\u09a8' + | '\u09aa' to '\u09b0' + | '\u09b2' + | '\u09b6' to '\u09b9' + | '\u09bc' + | '\u09bd' + | '\u09be' to '\u09c0' + | '\u09c1' to '\u09c4' + | '\u09c7' to '\u09c8' + | '\u09cb' to '\u09cc' + | '\u09cd' + | '\u09ce' + | '\u09d7' + | '\u09dc' to '\u09dd' + | '\u09df' to '\u09e1' + | '\u09e2' to '\u09e3' + | '\u09e6' to '\u09ef' + | '\u09f0' to '\u09f1' + | '\u0a01' to '\u0a02' + | '\u0a03' + | '\u0a05' to '\u0a0a' + | '\u0a0f' to '\u0a10' + | '\u0a13' to '\u0a28' + | '\u0a2a' to '\u0a30' + | '\u0a32' to '\u0a33' + | '\u0a35' to '\u0a36' + | '\u0a38' to '\u0a39' + | '\u0a3c' + | '\u0a3e' to '\u0a40' + | '\u0a41' to '\u0a42' + | '\u0a47' to '\u0a48' + | '\u0a4b' to '\u0a4d' + | '\u0a51' + | '\u0a59' to '\u0a5c' + | '\u0a5e' + | '\u0a66' to '\u0a6f' + | '\u0a70' to '\u0a71' + | '\u0a72' to '\u0a74' + | '\u0a75' + | '\u0a81' to '\u0a82' + | '\u0a83' + | '\u0a85' to '\u0a8d' + | '\u0a8f' to '\u0a91' + | '\u0a93' to '\u0aa8' + | '\u0aaa' to '\u0ab0' + | '\u0ab2' to '\u0ab3' + | '\u0ab5' to '\u0ab9' + | '\u0abc' + | '\u0abd' + | '\u0abe' to '\u0ac0' + | '\u0ac1' to '\u0ac5' + | '\u0ac7' to '\u0ac8' + | '\u0ac9' + | '\u0acb' to '\u0acc' + | '\u0acd' + | '\u0ad0' + | '\u0ae0' to '\u0ae1' + | '\u0ae2' to '\u0ae3' + | '\u0ae6' to '\u0aef' + | '\u0b01' + | '\u0b02' to '\u0b03' + | '\u0b05' to '\u0b0c' + | '\u0b0f' to '\u0b10' + | '\u0b13' to '\u0b28' + | '\u0b2a' to '\u0b30' + | '\u0b32' to '\u0b33' + | '\u0b35' to '\u0b39' + | '\u0b3c' + | '\u0b3d' + | '\u0b3e' + | '\u0b3f' + | '\u0b40' + | '\u0b41' to '\u0b44' + | '\u0b47' to '\u0b48' + | '\u0b4b' to '\u0b4c' + | '\u0b4d' + | '\u0b56' + | '\u0b57' + | '\u0b5c' to '\u0b5d' + | '\u0b5f' to '\u0b61' + | '\u0b62' to '\u0b63' + | '\u0b66' to '\u0b6f' + | '\u0b71' + | '\u0b82' + | '\u0b83' + | '\u0b85' to '\u0b8a' + | '\u0b8e' to '\u0b90' + | '\u0b92' to '\u0b95' + | '\u0b99' to '\u0b9a' + | '\u0b9c' + | '\u0b9e' to '\u0b9f' + | '\u0ba3' to '\u0ba4' + | '\u0ba8' to '\u0baa' + | '\u0bae' to '\u0bb9' + | '\u0bbe' to '\u0bbf' + | '\u0bc0' + | '\u0bc1' to '\u0bc2' + | '\u0bc6' to '\u0bc8' + | '\u0bca' to '\u0bcc' + | '\u0bcd' + | '\u0bd0' + | '\u0bd7' + | '\u0be6' to '\u0bef' + | '\u0c01' to '\u0c03' + | '\u0c05' to '\u0c0c' + | '\u0c0e' to '\u0c10' + | '\u0c12' to '\u0c28' + | '\u0c2a' to '\u0c33' + | '\u0c35' to '\u0c39' + | '\u0c3d' + | '\u0c3e' to '\u0c40' + | '\u0c41' to '\u0c44' + | '\u0c46' to '\u0c48' + | '\u0c4a' to '\u0c4d' + | '\u0c55' to '\u0c56' + | '\u0c58' to '\u0c59' + | '\u0c60' to '\u0c61' + | '\u0c62' to '\u0c63' + | '\u0c66' to '\u0c6f' + | '\u0c82' to '\u0c83' + | '\u0c85' to '\u0c8c' + | '\u0c8e' to '\u0c90' + | '\u0c92' to '\u0ca8' + | '\u0caa' to '\u0cb3' + | '\u0cb5' to '\u0cb9' + | '\u0cbc' + | '\u0cbd' + | '\u0cbe' + | '\u0cbf' + | '\u0cc0' to '\u0cc4' + | '\u0cc6' + | '\u0cc7' to '\u0cc8' + | '\u0cca' to '\u0ccb' + | '\u0ccc' to '\u0ccd' + | '\u0cd5' to '\u0cd6' + | '\u0cde' + | '\u0ce0' to '\u0ce1' + | '\u0ce2' to '\u0ce3' + | '\u0ce6' to '\u0cef' + | '\u0cf1' to '\u0cf2' + | '\u0d02' to '\u0d03' + | '\u0d05' to '\u0d0c' + | '\u0d0e' to '\u0d10' + | '\u0d12' to '\u0d3a' + | '\u0d3d' + | '\u0d3e' to '\u0d40' + | '\u0d41' to '\u0d44' + | '\u0d46' to '\u0d48' + | '\u0d4a' to '\u0d4c' + | '\u0d4d' + | '\u0d4e' + | '\u0d57' + | '\u0d60' to '\u0d61' + | '\u0d62' to '\u0d63' + | '\u0d66' to '\u0d6f' + | '\u0d7a' to '\u0d7f' + | '\u0d82' to '\u0d83' + | '\u0d85' to '\u0d96' + | '\u0d9a' to '\u0db1' + | '\u0db3' to '\u0dbb' + | '\u0dbd' + | '\u0dc0' to '\u0dc6' + | '\u0dca' + | '\u0dcf' to '\u0dd1' + | '\u0dd2' to '\u0dd4' + | '\u0dd6' + | '\u0dd8' to '\u0ddf' + | '\u0df2' to '\u0df3' + | '\u0e01' to '\u0e30' + | '\u0e31' + | '\u0e32' to '\u0e33' + | '\u0e34' to '\u0e3a' + | '\u0e40' to '\u0e45' + | '\u0e46' + | '\u0e47' to '\u0e4e' + | '\u0e50' to '\u0e59' + | '\u0e81' to '\u0e82' + | '\u0e84' + | '\u0e87' to '\u0e88' + | '\u0e8a' + | '\u0e8d' + | '\u0e94' to '\u0e97' + | '\u0e99' to '\u0e9f' + | '\u0ea1' to '\u0ea3' + | '\u0ea5' + | '\u0ea7' + | '\u0eaa' to '\u0eab' + | '\u0ead' to '\u0eb0' + | '\u0eb1' + | '\u0eb2' to '\u0eb3' + | '\u0eb4' to '\u0eb9' + | '\u0ebb' to '\u0ebc' + | '\u0ebd' + | '\u0ec0' to '\u0ec4' + | '\u0ec6' + | '\u0ec8' to '\u0ecd' + | '\u0ed0' to '\u0ed9' + | '\u0edc' to '\u0edd' + | '\u0f00' + | '\u0f18' to '\u0f19' + | '\u0f20' to '\u0f29' + | '\u0f35' + | '\u0f37' + | '\u0f39' + | '\u0f3e' to '\u0f3f' + | '\u0f40' to '\u0f47' + | '\u0f49' to '\u0f6c' + | '\u0f71' to '\u0f7e' + | '\u0f7f' + | '\u0f80' to '\u0f84' + | '\u0f86' to '\u0f87' + | '\u0f88' to '\u0f8c' + | '\u0f8d' to '\u0f97' + | '\u0f99' to '\u0fbc' + | '\u0fc6' + | '\u1000' to '\u102a' + | '\u102b' to '\u102c' + | '\u102d' to '\u1030' + | '\u1031' + | '\u1032' to '\u1037' + | '\u1038' + | '\u1039' to '\u103a' + | '\u103b' to '\u103c' + | '\u103d' to '\u103e' + | '\u103f' + | '\u1040' to '\u1049' + | '\u1050' to '\u1055' + | '\u1056' to '\u1057' + | '\u1058' to '\u1059' + | '\u105a' to '\u105d' + | '\u105e' to '\u1060' + | '\u1061' + | '\u1062' to '\u1064' + | '\u1065' to '\u1066' + | '\u1067' to '\u106d' + | '\u106e' to '\u1070' + | '\u1071' to '\u1074' + | '\u1075' to '\u1081' + | '\u1082' + | '\u1083' to '\u1084' + | '\u1085' to '\u1086' + | '\u1087' to '\u108c' + | '\u108d' + | '\u108e' + | '\u108f' + | '\u1090' to '\u1099' + | '\u109a' to '\u109c' + | '\u109d' + | '\u10a0' to '\u10c5' + | '\u10d0' to '\u10fa' + | '\u10fc' + | '\u1100' to '\u1248' + | '\u124a' to '\u124d' + | '\u1250' to '\u1256' + | '\u1258' + | '\u125a' to '\u125d' + | '\u1260' to '\u1288' + | '\u128a' to '\u128d' + | '\u1290' to '\u12b0' + | '\u12b2' to '\u12b5' + | '\u12b8' to '\u12be' + | '\u12c0' + | '\u12c2' to '\u12c5' + | '\u12c8' to '\u12d6' + | '\u12d8' to '\u1310' + | '\u1312' to '\u1315' + | '\u1318' to '\u135a' + | '\u135d' to '\u135f' + | '\u1369' to '\u1371' + | '\u1380' to '\u138f' + | '\u13a0' to '\u13f4' + | '\u1401' to '\u166c' + | '\u166f' to '\u167f' + | '\u1681' to '\u169a' + | '\u16a0' to '\u16ea' + | '\u16ee' to '\u16f0' + | '\u1700' to '\u170c' + | '\u170e' to '\u1711' + | '\u1712' to '\u1714' + | '\u1720' to '\u1731' + | '\u1732' to '\u1734' + | '\u1740' to '\u1751' + | '\u1752' to '\u1753' + | '\u1760' to '\u176c' + | '\u176e' to '\u1770' + | '\u1772' to '\u1773' + | '\u1780' to '\u17b3' + | '\u17b6' + | '\u17b7' to '\u17bd' + | '\u17be' to '\u17c5' + | '\u17c6' + | '\u17c7' to '\u17c8' + | '\u17c9' to '\u17d3' + | '\u17d7' + | '\u17dc' + | '\u17dd' + | '\u17e0' to '\u17e9' + | '\u180b' to '\u180d' + | '\u1810' to '\u1819' + | '\u1820' to '\u1842' + | '\u1843' + | '\u1844' to '\u1877' + | '\u1880' to '\u18a8' + | '\u18a9' + | '\u18aa' + | '\u18b0' to '\u18f5' + | '\u1900' to '\u191c' + | '\u1920' to '\u1922' + | '\u1923' to '\u1926' + | '\u1927' to '\u1928' + | '\u1929' to '\u192b' + | '\u1930' to '\u1931' + | '\u1932' + | '\u1933' to '\u1938' + | '\u1939' to '\u193b' + | '\u1946' to '\u194f' + | '\u1950' to '\u196d' + | '\u1970' to '\u1974' + | '\u1980' to '\u19ab' + | '\u19b0' to '\u19c0' + | '\u19c1' to '\u19c7' + | '\u19c8' to '\u19c9' + | '\u19d0' to '\u19d9' + | '\u19da' + | '\u1a00' to '\u1a16' + | '\u1a17' to '\u1a18' + | '\u1a19' to '\u1a1b' + | '\u1a20' to '\u1a54' + | '\u1a55' + | '\u1a56' + | '\u1a57' + | '\u1a58' to '\u1a5e' + | '\u1a60' + | '\u1a61' + | '\u1a62' + | '\u1a63' to '\u1a64' + | '\u1a65' to '\u1a6c' + | '\u1a6d' to '\u1a72' + | '\u1a73' to '\u1a7c' + | '\u1a7f' + | '\u1a80' to '\u1a89' + | '\u1a90' to '\u1a99' + | '\u1aa7' + | '\u1b00' to '\u1b03' + | '\u1b04' + | '\u1b05' to '\u1b33' + | '\u1b34' + | '\u1b35' + | '\u1b36' to '\u1b3a' + | '\u1b3b' + | '\u1b3c' + | '\u1b3d' to '\u1b41' + | '\u1b42' + | '\u1b43' to '\u1b44' + | '\u1b45' to '\u1b4b' + | '\u1b50' to '\u1b59' + | '\u1b6b' to '\u1b73' + | '\u1b80' to '\u1b81' + | '\u1b82' + | '\u1b83' to '\u1ba0' + | '\u1ba1' + | '\u1ba2' to '\u1ba5' + | '\u1ba6' to '\u1ba7' + | '\u1ba8' to '\u1ba9' + | '\u1baa' + | '\u1bae' to '\u1baf' + | '\u1bb0' to '\u1bb9' + | '\u1bc0' to '\u1be5' + | '\u1be6' + | '\u1be7' + | '\u1be8' to '\u1be9' + | '\u1bea' to '\u1bec' + | '\u1bed' + | '\u1bee' + | '\u1bef' to '\u1bf1' + | '\u1bf2' to '\u1bf3' + | '\u1c00' to '\u1c23' + | '\u1c24' to '\u1c2b' + | '\u1c2c' to '\u1c33' + | '\u1c34' to '\u1c35' + | '\u1c36' to '\u1c37' + | '\u1c40' to '\u1c49' + | '\u1c4d' to '\u1c4f' + | '\u1c50' to '\u1c59' + | '\u1c5a' to '\u1c77' + | '\u1c78' to '\u1c7d' + | '\u1cd0' to '\u1cd2' + | '\u1cd4' to '\u1ce0' + | '\u1ce1' + | '\u1ce2' to '\u1ce8' + | '\u1ce9' to '\u1cec' + | '\u1ced' + | '\u1cee' to '\u1cf1' + | '\u1cf2' + | '\u1d00' to '\u1d2b' + | '\u1d2c' to '\u1d61' + | '\u1d62' to '\u1d77' + | '\u1d78' + | '\u1d79' to '\u1d9a' + | '\u1d9b' to '\u1dbf' + | '\u1dc0' to '\u1de6' + | '\u1dfc' to '\u1dff' + | '\u1e00' to '\u1f15' + | '\u1f18' to '\u1f1d' + | '\u1f20' to '\u1f45' + | '\u1f48' to '\u1f4d' + | '\u1f50' to '\u1f57' + | '\u1f59' + | '\u1f5b' + | '\u1f5d' + | '\u1f5f' to '\u1f7d' + | '\u1f80' to '\u1fb4' + | '\u1fb6' to '\u1fbc' + | '\u1fbe' + | '\u1fc2' to '\u1fc4' + | '\u1fc6' to '\u1fcc' + | '\u1fd0' to '\u1fd3' + | '\u1fd6' to '\u1fdb' + | '\u1fe0' to '\u1fec' + | '\u1ff2' to '\u1ff4' + | '\u1ff6' to '\u1ffc' + | '\u203f' to '\u2040' + | '\u2054' + | '\u2071' + | '\u207f' + | '\u2090' to '\u209c' + | '\u20d0' to '\u20dc' + | '\u20e1' + | '\u20e5' to '\u20f0' + | '\u2102' + | '\u2107' + | '\u210a' to '\u2113' + | '\u2115' + | '\u2118' + | '\u2119' to '\u211d' + | '\u2124' + | '\u2126' + | '\u2128' + | '\u212a' to '\u212d' + | '\u212e' + | '\u212f' to '\u2134' + | '\u2135' to '\u2138' + | '\u2139' + | '\u213c' to '\u213f' + | '\u2145' to '\u2149' + | '\u214e' + | '\u2160' to '\u2182' + | '\u2183' to '\u2184' + | '\u2185' to '\u2188' + | '\u2c00' to '\u2c2e' + | '\u2c30' to '\u2c5e' + | '\u2c60' to '\u2c7c' + | '\u2c7d' + | '\u2c7e' to '\u2ce4' + | '\u2ceb' to '\u2cee' + | '\u2cef' to '\u2cf1' + | '\u2d00' to '\u2d25' + | '\u2d30' to '\u2d65' + | '\u2d6f' + | '\u2d7f' + | '\u2d80' to '\u2d96' + | '\u2da0' to '\u2da6' + | '\u2da8' to '\u2dae' + | '\u2db0' to '\u2db6' + | '\u2db8' to '\u2dbe' + | '\u2dc0' to '\u2dc6' + | '\u2dc8' to '\u2dce' + | '\u2dd0' to '\u2dd6' + | '\u2dd8' to '\u2dde' + | '\u2de0' to '\u2dff' + | '\u3005' + | '\u3006' + | '\u3007' + | '\u3021' to '\u3029' + | '\u302a' to '\u302f' + | '\u3031' to '\u3035' + | '\u3038' to '\u303a' + | '\u303b' + | '\u303c' + | '\u3041' to '\u3096' + | '\u3099' to '\u309a' + | '\u309d' to '\u309e' + | '\u309f' + | '\u30a1' to '\u30fa' + | '\u30fc' to '\u30fe' + | '\u30ff' + | '\u3105' to '\u312d' + | '\u3131' to '\u318e' + | '\u31a0' to '\u31ba' + | '\u31f0' to '\u31ff' + | '\u3400' to '\u4db5' + | '\u4e00' to '\u9fcb' + | '\ua000' to '\ua014' + | '\ua015' + | '\ua016' to '\ua48c' + | '\ua4d0' to '\ua4f7' + | '\ua4f8' to '\ua4fd' + | '\ua500' to '\ua60b' + | '\ua60c' + | '\ua610' to '\ua61f' + | '\ua620' to '\ua629' + | '\ua62a' to '\ua62b' + | '\ua640' to '\ua66d' + | '\ua66e' + | '\ua66f' + | '\ua67c' to '\ua67d' + | '\ua67f' + | '\ua680' to '\ua697' + | '\ua6a0' to '\ua6e5' + | '\ua6e6' to '\ua6ef' + | '\ua6f0' to '\ua6f1' + | '\ua717' to '\ua71f' + | '\ua722' to '\ua76f' + | '\ua770' + | '\ua771' to '\ua787' + | '\ua788' + | '\ua78b' to '\ua78e' + | '\ua790' to '\ua791' + | '\ua7a0' to '\ua7a9' + | '\ua7fa' + | '\ua7fb' to '\ua801' + | '\ua802' + | '\ua803' to '\ua805' + | '\ua806' + | '\ua807' to '\ua80a' + | '\ua80b' + | '\ua80c' to '\ua822' + | '\ua823' to '\ua824' + | '\ua825' to '\ua826' + | '\ua827' + | '\ua840' to '\ua873' + | '\ua880' to '\ua881' + | '\ua882' to '\ua8b3' + | '\ua8b4' to '\ua8c3' + | '\ua8c4' + | '\ua8d0' to '\ua8d9' + | '\ua8e0' to '\ua8f1' + | '\ua8f2' to '\ua8f7' + | '\ua8fb' + | '\ua900' to '\ua909' + | '\ua90a' to '\ua925' + | '\ua926' to '\ua92d' + | '\ua930' to '\ua946' + | '\ua947' to '\ua951' + | '\ua952' to '\ua953' + | '\ua960' to '\ua97c' + | '\ua980' to '\ua982' + | '\ua983' + | '\ua984' to '\ua9b2' + | '\ua9b3' + | '\ua9b4' to '\ua9b5' + | '\ua9b6' to '\ua9b9' + | '\ua9ba' to '\ua9bb' + | '\ua9bc' + | '\ua9bd' to '\ua9c0' + | '\ua9cf' + | '\ua9d0' to '\ua9d9' + | '\uaa00' to '\uaa28' + | '\uaa29' to '\uaa2e' + | '\uaa2f' to '\uaa30' + | '\uaa31' to '\uaa32' + | '\uaa33' to '\uaa34' + | '\uaa35' to '\uaa36' + | '\uaa40' to '\uaa42' + | '\uaa43' + | '\uaa44' to '\uaa4b' + | '\uaa4c' + | '\uaa4d' + | '\uaa50' to '\uaa59' + | '\uaa60' to '\uaa6f' + | '\uaa70' + | '\uaa71' to '\uaa76' + | '\uaa7a' + | '\uaa7b' + | '\uaa80' to '\uaaaf' + | '\uaab0' + | '\uaab1' + | '\uaab2' to '\uaab4' + | '\uaab5' to '\uaab6' + | '\uaab7' to '\uaab8' + | '\uaab9' to '\uaabd' + | '\uaabe' to '\uaabf' + | '\uaac0' + | '\uaac1' + | '\uaac2' + | '\uaadb' to '\uaadc' + | '\uaadd' + | '\uab01' to '\uab06' + | '\uab09' to '\uab0e' + | '\uab11' to '\uab16' + | '\uab20' to '\uab26' + | '\uab28' to '\uab2e' + | '\uabc0' to '\uabe2' + | '\uabe3' to '\uabe4' + | '\uabe5' + | '\uabe6' to '\uabe7' + | '\uabe8' + | '\uabe9' to '\uabea' + | '\uabec' + | '\uabed' + | '\uabf0' to '\uabf9' + | '\uac00' to '\ud7a3' + | '\ud7b0' to '\ud7c6' + | '\ud7cb' to '\ud7fb' + | '\uf900' to '\ufa2d' + | '\ufa30' to '\ufa6d' + | '\ufa70' to '\ufad9' + | '\ufb00' to '\ufb06' + | '\ufb13' to '\ufb17' + | '\ufb1d' + | '\ufb1e' + | '\ufb1f' to '\ufb28' + | '\ufb2a' to '\ufb36' + | '\ufb38' to '\ufb3c' + | '\ufb3e' + | '\ufb40' to '\ufb41' + | '\ufb43' to '\ufb44' + | '\ufb46' to '\ufbb1' + | '\ufbd3' to '\ufc5d' + | '\ufc64' to '\ufd3d' + | '\ufd50' to '\ufd8f' + | '\ufd92' to '\ufdc7' + | '\ufdf0' to '\ufdf9' + | '\ufe00' to '\ufe0f' + | '\ufe20' to '\ufe26' + | '\ufe33' to '\ufe34' + | '\ufe4d' to '\ufe4f' + | '\ufe71' + | '\ufe73' + | '\ufe77' + | '\ufe79' + | '\ufe7b' + | '\ufe7d' + | '\ufe7f' to '\ufefc' + | '\uff10' to '\uff19' + | '\uff21' to '\uff3a' + | '\uff3f' + | '\uff41' to '\uff5a' + | '\uff66' to '\uff6f' + | '\uff70' + | '\uff71' to '\uff9d' + | '\uff9e' to '\uff9f' + | '\uffa0' to '\uffbe' + | '\uffc2' to '\uffc7' + | '\uffca' to '\uffcf' + | '\uffd2' to '\uffd7' + | '\uffda' to '\uffdc' + | '\U00010000' to '\U0001000b' + | '\U0001000d' to '\U00010026' + | '\U00010028' to '\U0001003a' + | '\U0001003c' to '\U0001003d' + | '\U0001003f' to '\U0001004d' + | '\U00010050' to '\U0001005d' + | '\U00010080' to '\U000100fa' + | '\U00010140' to '\U00010174' + | '\U000101fd' + | '\U00010280' to '\U0001029c' + | '\U000102a0' to '\U000102d0' + | '\U00010300' to '\U0001031e' + | '\U00010330' to '\U00010340' + | '\U00010341' + | '\U00010342' to '\U00010349' + | '\U0001034a' + | '\U00010380' to '\U0001039d' + | '\U000103a0' to '\U000103c3' + | '\U000103c8' to '\U000103cf' + | '\U000103d1' to '\U000103d5' + | '\U00010400' to '\U0001044f' + | '\U00010450' to '\U0001049d' + | '\U000104a0' to '\U000104a9' + | '\U00010800' to '\U00010805' + | '\U00010808' + | '\U0001080a' to '\U00010835' + | '\U00010837' to '\U00010838' + | '\U0001083c' + | '\U0001083f' to '\U00010855' + | '\U00010900' to '\U00010915' + | '\U00010920' to '\U00010939' + | '\U00010a00' + | '\U00010a01' to '\U00010a03' + | '\U00010a05' to '\U00010a06' + | '\U00010a0c' to '\U00010a0f' + | '\U00010a10' to '\U00010a13' + | '\U00010a15' to '\U00010a17' + | '\U00010a19' to '\U00010a33' + | '\U00010a38' to '\U00010a3a' + | '\U00010a3f' + | '\U00010a60' to '\U00010a7c' + | '\U00010b00' to '\U00010b35' + | '\U00010b40' to '\U00010b55' + | '\U00010b60' to '\U00010b72' + | '\U00010c00' to '\U00010c48' + | '\U00011000' + | '\U00011001' + | '\U00011002' + | '\U00011003' to '\U00011037' + | '\U00011038' to '\U00011046' + | '\U00011066' to '\U0001106f' + | '\U00011080' to '\U00011081' + | '\U00011082' + | '\U00011083' to '\U000110af' + | '\U000110b0' to '\U000110b2' + | '\U000110b3' to '\U000110b6' + | '\U000110b7' to '\U000110b8' + | '\U000110b9' to '\U000110ba' + | '\U00012000' to '\U0001236e' + | '\U00012400' to '\U00012462' + | '\U00013000' to '\U0001342e' + | '\U00016800' to '\U00016a38' + | '\U0001b000' to '\U0001b001' + | '\U0001d165' to '\U0001d166' + | '\U0001d167' to '\U0001d169' + | '\U0001d16d' to '\U0001d172' + | '\U0001d17b' to '\U0001d182' + | '\U0001d185' to '\U0001d18b' + | '\U0001d1aa' to '\U0001d1ad' + | '\U0001d242' to '\U0001d244' + | '\U0001d400' to '\U0001d454' + | '\U0001d456' to '\U0001d49c' + | '\U0001d49e' to '\U0001d49f' + | '\U0001d4a2' + | '\U0001d4a5' to '\U0001d4a6' + | '\U0001d4a9' to '\U0001d4ac' + | '\U0001d4ae' to '\U0001d4b9' + | '\U0001d4bb' + | '\U0001d4bd' to '\U0001d4c3' + | '\U0001d4c5' to '\U0001d505' + | '\U0001d507' to '\U0001d50a' + | '\U0001d50d' to '\U0001d514' + | '\U0001d516' to '\U0001d51c' + | '\U0001d51e' to '\U0001d539' + | '\U0001d53b' to '\U0001d53e' + | '\U0001d540' to '\U0001d544' + | '\U0001d546' + | '\U0001d54a' to '\U0001d550' + | '\U0001d552' to '\U0001d6a5' + | '\U0001d6a8' to '\U0001d6c0' + | '\U0001d6c2' to '\U0001d6da' + | '\U0001d6dc' to '\U0001d6fa' + | '\U0001d6fc' to '\U0001d714' + | '\U0001d716' to '\U0001d734' + | '\U0001d736' to '\U0001d74e' + | '\U0001d750' to '\U0001d76e' + | '\U0001d770' to '\U0001d788' + | '\U0001d78a' to '\U0001d7a8' + | '\U0001d7aa' to '\U0001d7c2' + | '\U0001d7c4' to '\U0001d7cb' + | '\U0001d7ce' to '\U0001d7ff' + | '\U00020000' to '\U0002a6d6' + | '\U0002a700' to '\U0002b734' + | '\U0002b740' to '\U0002b81d' + | '\U0002f800' to '\U0002fa1d' + | '\U000e0100' to '\U000e01ef' + { true } + _ { false } + }; + } + + pure fn XID_Start(c: char) -> bool { + ret alt c { + '\x41' to '\x5a' + | '\x61' to '\x7a' + | '\xaa' + | '\xb5' + | '\xba' + | '\xc0' to '\xd6' + | '\xd8' to '\xf6' + | '\xf8' to '\u01ba' + | '\u01bb' + | '\u01bc' to '\u01bf' + | '\u01c0' to '\u01c3' + | '\u01c4' to '\u0293' + | '\u0294' + | '\u0295' to '\u02af' + | '\u02b0' to '\u02c1' + | '\u02c6' to '\u02d1' + | '\u02e0' to '\u02e4' + | '\u02ec' + | '\u02ee' + | '\u0370' to '\u0373' + | '\u0374' + | '\u0376' to '\u0377' + | '\u037b' to '\u037d' + | '\u0386' + | '\u0388' to '\u038a' + | '\u038c' + | '\u038e' to '\u03a1' + | '\u03a3' to '\u03f5' + | '\u03f7' to '\u0481' + | '\u048a' to '\u0527' + | '\u0531' to '\u0556' + | '\u0559' + | '\u0561' to '\u0587' + | '\u05d0' to '\u05ea' + | '\u05f0' to '\u05f2' + | '\u0620' to '\u063f' + | '\u0640' + | '\u0641' to '\u064a' + | '\u066e' to '\u066f' + | '\u0671' to '\u06d3' + | '\u06d5' + | '\u06e5' to '\u06e6' + | '\u06ee' to '\u06ef' + | '\u06fa' to '\u06fc' + | '\u06ff' + | '\u0710' + | '\u0712' to '\u072f' + | '\u074d' to '\u07a5' + | '\u07b1' + | '\u07ca' to '\u07ea' + | '\u07f4' to '\u07f5' + | '\u07fa' + | '\u0800' to '\u0815' + | '\u081a' + | '\u0824' + | '\u0828' + | '\u0840' to '\u0858' + | '\u0904' to '\u0939' + | '\u093d' + | '\u0950' + | '\u0958' to '\u0961' + | '\u0971' + | '\u0972' to '\u0977' + | '\u0979' to '\u097f' + | '\u0985' to '\u098c' + | '\u098f' to '\u0990' + | '\u0993' to '\u09a8' + | '\u09aa' to '\u09b0' + | '\u09b2' + | '\u09b6' to '\u09b9' + | '\u09bd' + | '\u09ce' + | '\u09dc' to '\u09dd' + | '\u09df' to '\u09e1' + | '\u09f0' to '\u09f1' + | '\u0a05' to '\u0a0a' + | '\u0a0f' to '\u0a10' + | '\u0a13' to '\u0a28' + | '\u0a2a' to '\u0a30' + | '\u0a32' to '\u0a33' + | '\u0a35' to '\u0a36' + | '\u0a38' to '\u0a39' + | '\u0a59' to '\u0a5c' + | '\u0a5e' + | '\u0a72' to '\u0a74' + | '\u0a85' to '\u0a8d' + | '\u0a8f' to '\u0a91' + | '\u0a93' to '\u0aa8' + | '\u0aaa' to '\u0ab0' + | '\u0ab2' to '\u0ab3' + | '\u0ab5' to '\u0ab9' + | '\u0abd' + | '\u0ad0' + | '\u0ae0' to '\u0ae1' + | '\u0b05' to '\u0b0c' + | '\u0b0f' to '\u0b10' + | '\u0b13' to '\u0b28' + | '\u0b2a' to '\u0b30' + | '\u0b32' to '\u0b33' + | '\u0b35' to '\u0b39' + | '\u0b3d' + | '\u0b5c' to '\u0b5d' + | '\u0b5f' to '\u0b61' + | '\u0b71' + | '\u0b83' + | '\u0b85' to '\u0b8a' + | '\u0b8e' to '\u0b90' + | '\u0b92' to '\u0b95' + | '\u0b99' to '\u0b9a' + | '\u0b9c' + | '\u0b9e' to '\u0b9f' + | '\u0ba3' to '\u0ba4' + | '\u0ba8' to '\u0baa' + | '\u0bae' to '\u0bb9' + | '\u0bd0' + | '\u0c05' to '\u0c0c' + | '\u0c0e' to '\u0c10' + | '\u0c12' to '\u0c28' + | '\u0c2a' to '\u0c33' + | '\u0c35' to '\u0c39' + | '\u0c3d' + | '\u0c58' to '\u0c59' + | '\u0c60' to '\u0c61' + | '\u0c85' to '\u0c8c' + | '\u0c8e' to '\u0c90' + | '\u0c92' to '\u0ca8' + | '\u0caa' to '\u0cb3' + | '\u0cb5' to '\u0cb9' + | '\u0cbd' + | '\u0cde' + | '\u0ce0' to '\u0ce1' + | '\u0cf1' to '\u0cf2' + | '\u0d05' to '\u0d0c' + | '\u0d0e' to '\u0d10' + | '\u0d12' to '\u0d3a' + | '\u0d3d' + | '\u0d4e' + | '\u0d60' to '\u0d61' + | '\u0d7a' to '\u0d7f' + | '\u0d85' to '\u0d96' + | '\u0d9a' to '\u0db1' + | '\u0db3' to '\u0dbb' + | '\u0dbd' + | '\u0dc0' to '\u0dc6' + | '\u0e01' to '\u0e30' + | '\u0e32' + | '\u0e40' to '\u0e45' + | '\u0e46' + | '\u0e81' to '\u0e82' + | '\u0e84' + | '\u0e87' to '\u0e88' + | '\u0e8a' + | '\u0e8d' + | '\u0e94' to '\u0e97' + | '\u0e99' to '\u0e9f' + | '\u0ea1' to '\u0ea3' + | '\u0ea5' + | '\u0ea7' + | '\u0eaa' to '\u0eab' + | '\u0ead' to '\u0eb0' + | '\u0eb2' + | '\u0ebd' + | '\u0ec0' to '\u0ec4' + | '\u0ec6' + | '\u0edc' to '\u0edd' + | '\u0f00' + | '\u0f40' to '\u0f47' + | '\u0f49' to '\u0f6c' + | '\u0f88' to '\u0f8c' + | '\u1000' to '\u102a' + | '\u103f' + | '\u1050' to '\u1055' + | '\u105a' to '\u105d' + | '\u1061' + | '\u1065' to '\u1066' + | '\u106e' to '\u1070' + | '\u1075' to '\u1081' + | '\u108e' + | '\u10a0' to '\u10c5' + | '\u10d0' to '\u10fa' + | '\u10fc' + | '\u1100' to '\u1248' + | '\u124a' to '\u124d' + | '\u1250' to '\u1256' + | '\u1258' + | '\u125a' to '\u125d' + | '\u1260' to '\u1288' + | '\u128a' to '\u128d' + | '\u1290' to '\u12b0' + | '\u12b2' to '\u12b5' + | '\u12b8' to '\u12be' + | '\u12c0' + | '\u12c2' to '\u12c5' + | '\u12c8' to '\u12d6' + | '\u12d8' to '\u1310' + | '\u1312' to '\u1315' + | '\u1318' to '\u135a' + | '\u1380' to '\u138f' + | '\u13a0' to '\u13f4' + | '\u1401' to '\u166c' + | '\u166f' to '\u167f' + | '\u1681' to '\u169a' + | '\u16a0' to '\u16ea' + | '\u16ee' to '\u16f0' + | '\u1700' to '\u170c' + | '\u170e' to '\u1711' + | '\u1720' to '\u1731' + | '\u1740' to '\u1751' + | '\u1760' to '\u176c' + | '\u176e' to '\u1770' + | '\u1780' to '\u17b3' + | '\u17d7' + | '\u17dc' + | '\u1820' to '\u1842' + | '\u1843' + | '\u1844' to '\u1877' + | '\u1880' to '\u18a8' + | '\u18aa' + | '\u18b0' to '\u18f5' + | '\u1900' to '\u191c' + | '\u1950' to '\u196d' + | '\u1970' to '\u1974' + | '\u1980' to '\u19ab' + | '\u19c1' to '\u19c7' + | '\u1a00' to '\u1a16' + | '\u1a20' to '\u1a54' + | '\u1aa7' + | '\u1b05' to '\u1b33' + | '\u1b45' to '\u1b4b' + | '\u1b83' to '\u1ba0' + | '\u1bae' to '\u1baf' + | '\u1bc0' to '\u1be5' + | '\u1c00' to '\u1c23' + | '\u1c4d' to '\u1c4f' + | '\u1c5a' to '\u1c77' + | '\u1c78' to '\u1c7d' + | '\u1ce9' to '\u1cec' + | '\u1cee' to '\u1cf1' + | '\u1d00' to '\u1d2b' + | '\u1d2c' to '\u1d61' + | '\u1d62' to '\u1d77' + | '\u1d78' + | '\u1d79' to '\u1d9a' + | '\u1d9b' to '\u1dbf' + | '\u1e00' to '\u1f15' + | '\u1f18' to '\u1f1d' + | '\u1f20' to '\u1f45' + | '\u1f48' to '\u1f4d' + | '\u1f50' to '\u1f57' + | '\u1f59' + | '\u1f5b' + | '\u1f5d' + | '\u1f5f' to '\u1f7d' + | '\u1f80' to '\u1fb4' + | '\u1fb6' to '\u1fbc' + | '\u1fbe' + | '\u1fc2' to '\u1fc4' + | '\u1fc6' to '\u1fcc' + | '\u1fd0' to '\u1fd3' + | '\u1fd6' to '\u1fdb' + | '\u1fe0' to '\u1fec' + | '\u1ff2' to '\u1ff4' + | '\u1ff6' to '\u1ffc' + | '\u2071' + | '\u207f' + | '\u2090' to '\u209c' + | '\u2102' + | '\u2107' + | '\u210a' to '\u2113' + | '\u2115' + | '\u2118' + | '\u2119' to '\u211d' + | '\u2124' + | '\u2126' + | '\u2128' + | '\u212a' to '\u212d' + | '\u212e' + | '\u212f' to '\u2134' + | '\u2135' to '\u2138' + | '\u2139' + | '\u213c' to '\u213f' + | '\u2145' to '\u2149' + | '\u214e' + | '\u2160' to '\u2182' + | '\u2183' to '\u2184' + | '\u2185' to '\u2188' + | '\u2c00' to '\u2c2e' + | '\u2c30' to '\u2c5e' + | '\u2c60' to '\u2c7c' + | '\u2c7d' + | '\u2c7e' to '\u2ce4' + | '\u2ceb' to '\u2cee' + | '\u2d00' to '\u2d25' + | '\u2d30' to '\u2d65' + | '\u2d6f' + | '\u2d80' to '\u2d96' + | '\u2da0' to '\u2da6' + | '\u2da8' to '\u2dae' + | '\u2db0' to '\u2db6' + | '\u2db8' to '\u2dbe' + | '\u2dc0' to '\u2dc6' + | '\u2dc8' to '\u2dce' + | '\u2dd0' to '\u2dd6' + | '\u2dd8' to '\u2dde' + | '\u3005' + | '\u3006' + | '\u3007' + | '\u3021' to '\u3029' + | '\u3031' to '\u3035' + | '\u3038' to '\u303a' + | '\u303b' + | '\u303c' + | '\u3041' to '\u3096' + | '\u309d' to '\u309e' + | '\u309f' + | '\u30a1' to '\u30fa' + | '\u30fc' to '\u30fe' + | '\u30ff' + | '\u3105' to '\u312d' + | '\u3131' to '\u318e' + | '\u31a0' to '\u31ba' + | '\u31f0' to '\u31ff' + | '\u3400' to '\u4db5' + | '\u4e00' to '\u9fcb' + | '\ua000' to '\ua014' + | '\ua015' + | '\ua016' to '\ua48c' + | '\ua4d0' to '\ua4f7' + | '\ua4f8' to '\ua4fd' + | '\ua500' to '\ua60b' + | '\ua60c' + | '\ua610' to '\ua61f' + | '\ua62a' to '\ua62b' + | '\ua640' to '\ua66d' + | '\ua66e' + | '\ua67f' + | '\ua680' to '\ua697' + | '\ua6a0' to '\ua6e5' + | '\ua6e6' to '\ua6ef' + | '\ua717' to '\ua71f' + | '\ua722' to '\ua76f' + | '\ua770' + | '\ua771' to '\ua787' + | '\ua788' + | '\ua78b' to '\ua78e' + | '\ua790' to '\ua791' + | '\ua7a0' to '\ua7a9' + | '\ua7fa' + | '\ua7fb' to '\ua801' + | '\ua803' to '\ua805' + | '\ua807' to '\ua80a' + | '\ua80c' to '\ua822' + | '\ua840' to '\ua873' + | '\ua882' to '\ua8b3' + | '\ua8f2' to '\ua8f7' + | '\ua8fb' + | '\ua90a' to '\ua925' + | '\ua930' to '\ua946' + | '\ua960' to '\ua97c' + | '\ua984' to '\ua9b2' + | '\ua9cf' + | '\uaa00' to '\uaa28' + | '\uaa40' to '\uaa42' + | '\uaa44' to '\uaa4b' + | '\uaa60' to '\uaa6f' + | '\uaa70' + | '\uaa71' to '\uaa76' + | '\uaa7a' + | '\uaa80' to '\uaaaf' + | '\uaab1' + | '\uaab5' to '\uaab6' + | '\uaab9' to '\uaabd' + | '\uaac0' + | '\uaac2' + | '\uaadb' to '\uaadc' + | '\uaadd' + | '\uab01' to '\uab06' + | '\uab09' to '\uab0e' + | '\uab11' to '\uab16' + | '\uab20' to '\uab26' + | '\uab28' to '\uab2e' + | '\uabc0' to '\uabe2' + | '\uac00' to '\ud7a3' + | '\ud7b0' to '\ud7c6' + | '\ud7cb' to '\ud7fb' + | '\uf900' to '\ufa2d' + | '\ufa30' to '\ufa6d' + | '\ufa70' to '\ufad9' + | '\ufb00' to '\ufb06' + | '\ufb13' to '\ufb17' + | '\ufb1d' + | '\ufb1f' to '\ufb28' + | '\ufb2a' to '\ufb36' + | '\ufb38' to '\ufb3c' + | '\ufb3e' + | '\ufb40' to '\ufb41' + | '\ufb43' to '\ufb44' + | '\ufb46' to '\ufbb1' + | '\ufbd3' to '\ufc5d' + | '\ufc64' to '\ufd3d' + | '\ufd50' to '\ufd8f' + | '\ufd92' to '\ufdc7' + | '\ufdf0' to '\ufdf9' + | '\ufe71' + | '\ufe73' + | '\ufe77' + | '\ufe79' + | '\ufe7b' + | '\ufe7d' + | '\ufe7f' to '\ufefc' + | '\uff21' to '\uff3a' + | '\uff41' to '\uff5a' + | '\uff66' to '\uff6f' + | '\uff70' + | '\uff71' to '\uff9d' + | '\uffa0' to '\uffbe' + | '\uffc2' to '\uffc7' + | '\uffca' to '\uffcf' + | '\uffd2' to '\uffd7' + | '\uffda' to '\uffdc' + | '\U00010000' to '\U0001000b' + | '\U0001000d' to '\U00010026' + | '\U00010028' to '\U0001003a' + | '\U0001003c' to '\U0001003d' + | '\U0001003f' to '\U0001004d' + | '\U00010050' to '\U0001005d' + | '\U00010080' to '\U000100fa' + | '\U00010140' to '\U00010174' + | '\U00010280' to '\U0001029c' + | '\U000102a0' to '\U000102d0' + | '\U00010300' to '\U0001031e' + | '\U00010330' to '\U00010340' + | '\U00010341' + | '\U00010342' to '\U00010349' + | '\U0001034a' + | '\U00010380' to '\U0001039d' + | '\U000103a0' to '\U000103c3' + | '\U000103c8' to '\U000103cf' + | '\U000103d1' to '\U000103d5' + | '\U00010400' to '\U0001044f' + | '\U00010450' to '\U0001049d' + | '\U00010800' to '\U00010805' + | '\U00010808' + | '\U0001080a' to '\U00010835' + | '\U00010837' to '\U00010838' + | '\U0001083c' + | '\U0001083f' to '\U00010855' + | '\U00010900' to '\U00010915' + | '\U00010920' to '\U00010939' + | '\U00010a00' + | '\U00010a10' to '\U00010a13' + | '\U00010a15' to '\U00010a17' + | '\U00010a19' to '\U00010a33' + | '\U00010a60' to '\U00010a7c' + | '\U00010b00' to '\U00010b35' + | '\U00010b40' to '\U00010b55' + | '\U00010b60' to '\U00010b72' + | '\U00010c00' to '\U00010c48' + | '\U00011003' to '\U00011037' + | '\U00011083' to '\U000110af' + | '\U00012000' to '\U0001236e' + | '\U00012400' to '\U00012462' + | '\U00013000' to '\U0001342e' + | '\U00016800' to '\U00016a38' + | '\U0001b000' to '\U0001b001' + | '\U0001d400' to '\U0001d454' + | '\U0001d456' to '\U0001d49c' + | '\U0001d49e' to '\U0001d49f' + | '\U0001d4a2' + | '\U0001d4a5' to '\U0001d4a6' + | '\U0001d4a9' to '\U0001d4ac' + | '\U0001d4ae' to '\U0001d4b9' + | '\U0001d4bb' + | '\U0001d4bd' to '\U0001d4c3' + | '\U0001d4c5' to '\U0001d505' + | '\U0001d507' to '\U0001d50a' + | '\U0001d50d' to '\U0001d514' + | '\U0001d516' to '\U0001d51c' + | '\U0001d51e' to '\U0001d539' + | '\U0001d53b' to '\U0001d53e' + | '\U0001d540' to '\U0001d544' + | '\U0001d546' + | '\U0001d54a' to '\U0001d550' + | '\U0001d552' to '\U0001d6a5' + | '\U0001d6a8' to '\U0001d6c0' + | '\U0001d6c2' to '\U0001d6da' + | '\U0001d6dc' to '\U0001d6fa' + | '\U0001d6fc' to '\U0001d714' + | '\U0001d716' to '\U0001d734' + | '\U0001d736' to '\U0001d74e' + | '\U0001d750' to '\U0001d76e' + | '\U0001d770' to '\U0001d788' + | '\U0001d78a' to '\U0001d7a8' + | '\U0001d7aa' to '\U0001d7c2' + | '\U0001d7c4' to '\U0001d7cb' + | '\U00020000' to '\U0002a6d6' + | '\U0002a700' to '\U0002b734' + | '\U0002b740' to '\U0002b81d' + | '\U0002f800' to '\U0002fa1d' + { true } + _ { false } + }; + } + +} |