arrayMap function

ArrayMap arrayMap(
  1. FuncDecl f,
  2. Iterable<Expr> arrays
)

Implementation

ArrayMap arrayMap(FuncDecl f, Iterable<Expr> arrays) =>
    ArrayMap(f, arrays.toList()).declare();