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