Export poll.

savonet · Jul 8, 2023 · 84a198f · 84a198f
1 parent 1a90b7d
commit 84a198f
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/src/duppy.mli b/src/duppy.mli
@@ -67,6 +67,15 @@ val create :
   unit ->
   'a scheduler
 
+(** Internal polling function. Uses `Unix.select` on windows and
+    `poll` otherwise. *)
+val poll :
+  Unix.file_descr list ->
+  Unix.file_descr list ->
+  Unix.file_descr list ->
+  float ->
+  Unix.file_descr list * Unix.file_descr list * Unix.file_descr list
+
 (** [queue ~log ~priorities s name] 
  * starts a queue, on the scheduler [s] only processing priorities [p]
  * for which [priorities p] returns [true].