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