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