patN function

Pat patN(Iterable<Expr> terms)

Implementation

Pat patN(Iterable<Expr> terms) => Pat(terms.toList()).declare();