2 // Origin: Gerald Pfeifer <pfeifer@dbai.tuwien.ac.at>
8 enum TYPE { Variable, Constant } type;
10 std::ostream& printTo(std::ostream& out) const
30 const IDENT& getIdent() const
37 inline std::ostream& operator<< (std::ostream& out, const TC<T> &c)
39 c.getIdent().printTo(out);
43 void foo(const TC<IDENT> &c)
46 << ": " // This line is crucial!