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