From 84a198fadf78b9fbf27729030c0658f48fccec91 Mon Sep 17 00:00:00 2001
From: Romain Beauxis <toots@rastageeks.org>
Date: Sat, 8 Jul 2023 16:18:24 -0500
Subject: [PATCH] Export poll.

---
 src/duppy.mli | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/src/duppy.mli b/src/duppy.mli
index 88fb35c..480e050 100644
--- 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].