Template Function tvm::operator%(const Pattern&, const Pattern&)