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