Template Function tvm::operator^(const Pattern&, const Pattern&)