Method mkSeqMap

src/api/java/Context.java:2324–2328

Map function f over sequence s. Returns a new sequence where f is applied to each element of s.

(Expr<?> f, Expr<SeqSort<R>> s)

     * Returns a new sequence where f is applied to each element of s.
     */
    public final <R extends Sort> SeqExpr<R> mkSeqMap(Expr<?> f, Expr<SeqSort<R>> s)
    {
        checkContextMatch(f, s);
        return (SeqExpr<R>) Expr.create(this, Native.mkSeqMap(nCtx(), f.getNativeObject(), s.getNativeObject()));
    }

    /**
     * Map function f over sequence s starting at index i.