Lines Matching defs:printd
1212 /// printd - printf that takes a double prints it as "%f\n", returning 0.1213 extern "C" double printd(double X) {