05:06 <ehirdoy1> hannes: ptime_clock seems a platform independent API, which it has 4 backends, {WIN,mac,posix,JS}, fixed at compile time of library. ptime_clock could have anohter Mirage backend impl??? Would it be possible to point out some example code of replacing gettimeofday?

05:34 <ehirdoy1> hannes: I meant, example of replacing gettimeofday with ptime_clock in general library, if you happen to know any....

09:29 <hannes> ehirdoy1: not off the top of my head

11:08 <apache2> ehirdoy1: usually libraries would not read the time themselves, you would write them so the current time is an input to the functions that need to operate on it

11:08 <apache2> or provide a function that returns the time (like fun () -> Ptim_clock.now_d_ps 123 or whatever)

11:09 <apache2> that style of designing libraries makes it easier to unit test them deterministically