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