This commit is contained in:
Simon Cruanes 2025-12-20 23:00:13 -05:00
parent 5596552379
commit 3dfbd14508
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4

View file

@ -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 *)