Find last index of substr in s.
(s: StringRef, substr: StringRef)
| 4228 | |
| 4229 | |
| 4230 | def LastIndexOf(s: StringRef, substr: StringRef) -> ArithRef: |
| 4231 | """Find last index of substr in s.""" |
| 4232 | return ArithRef( |
| 4233 | AppNode(_AstVar("str.last_indexof"), (s._ast, substr._ast)), |
| 4234 | IntSort(), |
| 4235 | _merge(s._vars, substr._vars), |
| 4236 | ) |
| 4237 | |
| 4238 | |
| 4239 | def StrToCode(s: StringRef) -> ArithRef: |