11
12
13
14
15
16
17
18
19
20
21
22
23
|
11
12
13
14
15
16
17
18
19
20
21
22
23
|
-
+
|
extern ostream& ToString( ostream& out, const string& x );
extern ostream& ToString( ostream& out, const StringId& x );
extern ostream& ToString( ostream& out, const Delimiter& x );
extern ostream& ToString( ostream& out, const ptr< void >& x );
extern ostream& ToString( ostream& out, const void* x );
extern ostream& ToString( ostream& out, const ptr< Vector >& v );
extern ostream& ToString( ostream& out, const APSInt& t );
extern ostream& ToString( ostream& out, const BigInt& t );
extern ostream& ToString( ostream& out, const Term& t );
}
#endif
|