patN function

Pat patN(
  1. Iterable<Expr> terms
)

Creates a Pat which can be used in quantifiers.

Implementation

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