+void fderivative::do_print_csrc(const print_csrc & c, unsigned level) const
+{
+ c.s << "D_";
+ paramset::const_iterator i = parameter_set.begin(), end = parameter_set.end();
+ --end;
+ while (i != end)
+ c.s << *i++ << "_";
+ c.s << *i << "_" << registered_functions()[serial].name;
+ printseq(c, '(', ',', ')', exprseq::precedence(), function::precedence());
+}
+