We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 6ac1fc3 commit 626b76dCopy full SHA for 626b76d
lib/picos_std.awaitable/picos_std_awaitable.mli
@@ -114,9 +114,9 @@ module Awaitable : sig
114
it from the FIFO associated with the awaitable.
115
116
ℹ️ If the associated trigger is used with only one awaiter and the
117
- {{!Trigger.await} await} on the trigger returns [None], there is no need
118
- to explicitly remove the awaiter, because it has already been removed.
119
- *)
+ {{!Picos.Trigger.await} await} on the trigger returns [None], there is
+ no need to explicitly remove the awaiter, because it has already been
+ removed. *)
120
end
121
122
(**/**)
0 commit comments