Map indexed function over sequence.
(f: FuncDeclRef, s: ExprRef)
| 3962 | |
| 3963 | |
| 3964 | def SeqMapI(f: FuncDeclRef, s: ExprRef) -> ExprRef: |
| 3965 | """Map indexed function over sequence.""" |
| 3966 | return ExprRef( |
| 3967 | AppNode(_AstVar("seq.mapi"), (_AstVar(f._name), s._ast)), |
| 3968 | s._sort, |
| 3969 | s._vars | frozenset([(f._name, f._ast_sort)]), |
| 3970 | ) |
| 3971 | |
| 3972 | |
| 3973 | def SeqFoldLeft(f: FuncDeclRef, init: ExprRef, s: ExprRef) -> ExprRef: |