From 2cf1b2f98fedd5ebfb27a74b9c5096b77a612305 Mon Sep 17 00:00:00 2001 From: Vincent Liu Date: Wed, 22 Nov 2023 15:07:26 +0000 Subject: [PATCH] Fix association of special comments in `threadext.mli` Signed-off-by: Vincent Liu --- lib/xapi-stdext-threads/threadext.mli | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/lib/xapi-stdext-threads/threadext.mli b/lib/xapi-stdext-threads/threadext.mli index 62bb50d8..8349ab71 100644 --- a/lib/xapi-stdext-threads/threadext.mli +++ b/lib/xapi-stdext-threads/threadext.mli @@ -23,13 +23,13 @@ module Delay : sig type t val make : unit -> t + + val wait : t -> float -> bool (** Blocks the calling thread for a given period of time with the option of returning early if someone calls 'signal'. Returns true if the full time period elapsed and false if signalled. Note that multple 'signals' are coalesced; 'signals' sent before 'wait' is called are not lost. *) - val wait : t -> float -> bool - (** Sends a signal to a waiting thread. See 'wait' *) - val signal : t -> unit + (** Sends a signal to a waiting thread. See 'wait' *) end