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