@[reducible, inline]
Type for scripts data
Equations
Instances For
Raw string from Scripts.txt
Equations
- One or more equations did not get rendered due to their size.
Instances For
@[inline]
Get table for given script
Equations
- Unicode.Scripts.getTable? sc = do let sc ← some (Unicode.PropertyValueAliases.getLongName! "Script".toSlice sc) Std.HashMap.get? Unicode.Scripts.data sc
Instances For
@[inline]
Get table for given script