22 o << exp1 <<
"|" << exp2;
47 o << exp <<
"/" <<
ctx <<
";";
void display(std::ostream &o) const
void display(std::ostream &o) const
void display(std::ostream &o) const
void display(std::ostream &o) const
std::ostream & operator<<(std::ostream &o, label_t l)
void display(std::ostream &o) const
virtual void display(std::ostream &) const =0
void display(std::ostream &o) const