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