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