Convert character code to single-char string.
(c: ArithRef)
| 4246 | |
| 4247 | |
| 4248 | def StrFromCode(c: ArithRef) -> StringRef: |
| 4249 | """Convert character code to single-char string.""" |
| 4250 | return StringRef( |
| 4251 | AppNode(_AstVar("str.from_code"), (c._ast,)), |
| 4252 | c._vars, |
| 4253 | ) |
| 4254 | |
| 4255 | |
| 4256 | def At(s: StringRef, i: ArithRef | int) -> StringRef: |