Template Function tvm::max(const Pattern&, int64_t)