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