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