seqConcatN function

NaryOp seqConcatN(
  1. Iterable<Expr> args
)

Implementation

NaryOp seqConcatN(Iterable<Expr> args) =>
    NaryOp(NaryOpKind.seqConcat, args.toList()).declare();