Map function over sequence.
(f: FuncDeclRef, s: ExprRef)
| 3953 | |
| 3954 | |
| 3955 | def SeqMap(f: FuncDeclRef, s: ExprRef) -> ExprRef: |
| 3956 | """Map function over sequence.""" |
| 3957 | return ExprRef( |
| 3958 | AppNode(_AstVar("seq.map"), (_AstVar(f._name), s._ast)), |
| 3959 | s._sort, |
| 3960 | s._vars | frozenset([(f._name, f._ast_sort)]), |
| 3961 | ) |
| 3962 | |
| 3963 | |
| 3964 | def SeqMapI(f: FuncDeclRef, s: ExprRef) -> ExprRef: |