- extern void print_vector (cl_ostream stream, const cl_print_flags& flags, void (* fun) (cl_ostream, const cl_print_flags&, const cl_number&), const cl_SV_number& vector);
- extern void print_rational (cl_ostream stream, const cl_print_flags& flags, const cl_RA& z);
+ extern void print_vector (std::ostream& stream, const cl_print_flags& flags, void (* fun) (std::ostream&, const cl_print_flags&, const cl_number&), const cl_SV_number& vector);
+ extern void print_rational (std::ostream& stream, const cl_print_flags& flags, const cl_RA& z);