mirror of
https://github.com/erg-lang/erg.git
synced 2025-07-22 20:45:28 +00:00
4 lines
99 B
Python
4 lines
99 B
Python
.html5: {Str: Str}
|
|
.entitydefs: {Str: Str}
|
|
.name2codepoint: {Str: Nat}
|
|
.codepoint2name: {Nat: Str}
|