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