<div dir="ltr">The basis library doesn&#39;t specify the behaviour of Time.now very precisely, but my reading of it suggests that it is supposed to work as clock_gettime(CLOCK_REALTIME). MLton currently implements it with gettimeofday. Why?<br>
<br>Also, clock_gettime(CLOCK_MONOTONIC) seems to be missing from the basis. Perhaps it should be in a MLton extension?<br><br></div>