Indexed left fold over sequence.
(f: FuncDeclRef, init: ExprRef, s: ExprRef)
| 3981 | |
| 3982 | |
| 3983 | def SeqFoldLeftI(f: FuncDeclRef, init: ExprRef, s: ExprRef) -> ExprRef: |
| 3984 | """Indexed left fold over sequence.""" |
| 3985 | merged = init._vars | s._vars | frozenset([(f._name, f._ast_sort)]) |
| 3986 | return ExprRef( |
| 3987 | AppNode(_AstVar("seq.foldli"), (_AstVar(f._name), init._ast, s._ast)), |
| 3988 | init._sort, |
| 3989 | merged, |
| 3990 | ) |
| 3991 | |
| 3992 | |
| 3993 | # --------------------------------------------------------------------------- |