From 3dfbd145084fb8b6ade71991b94e58a24b5d098a Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Sat, 20 Dec 2025 23:00:13 -0500 Subject: [PATCH] doc --- src/client/sync/io_sync.mli | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/client/sync/io_sync.mli b/src/client/sync/io_sync.mli index 303a099e..883efaa0 100644 --- a/src/client/sync/io_sync.mli +++ b/src/client/sync/io_sync.mli @@ -1,2 +1,4 @@ +(** Synchronous IOs, with threads for concurrency *) + include Generic_io.S_WITH_CONCURRENCY with type 'a t = 'a (** Generic IO with [spawn] starting a background thread *)