Pat constructor

Pat(List<Expr> terms)

Implementation

Pat(this.terms);