With the current documentation it is unclear whether fsync t just calls fsync on the underlying file descriptor, or waits until all previous writes have occurred before calling fsync.
This PR hopefully clears that up.
I'm not 100% clear on the syntax for odoc so it is possible I haven't done it quite right.
With the current documentation it is unclear whether
fsync t
just calls fsync on the underlying file descriptor, or waits until all previous writes have occurred before calling fsync.This PR hopefully clears that up.
I'm not 100% clear on the syntax for odoc so it is possible I haven't done it quite right.