#include "types.h"
const std::string engine_info(bool to_uci = false);
-void timed_wait(WaitCondition&, Lock&, int);
void prefetch(char* addr);
void start_logger(bool b);
namespace Time {
typedef int64_t point;
- inline point now() { return system_time_to_msec(); }
+ point now();
}