Extract subsequence (alias for SubString).
(s: StringRef, lo: ArithRef | int, length: ArithRef | int)
| 3948 | |
| 3949 | |
| 3950 | def SubSeq(s: StringRef, lo: ArithRef | int, length: ArithRef | int) -> StringRef: |
| 3951 | """Extract subsequence (alias for SubString).""" |
| 3952 | return SubString(s, lo, length) |
| 3953 | |
| 3954 | |
| 3955 | def SeqMap(f: FuncDeclRef, s: ExprRef) -> ExprRef: |
nothing calls this directly
no test coverage detected