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