Character at index i as a single-char string.
(s: StringRef, i: ArithRef | int)
| 4254 | |
| 4255 | |
| 4256 | def At(s: StringRef, i: ArithRef | int) -> StringRef: |
| 4257 | """Character at index i as a single-char string.""" |
| 4258 | if isinstance(i, int): |
| 4259 | i = IntVal(i) |
| 4260 | return SubString(s, i, IntVal(1)) |
| 4261 | |
| 4262 | |
| 4263 | def Diff(a: ReRef, b: ReRef) -> ReRef: |