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 2bf5a41 commit 6ac1fc3Copy full SHA for 6ac1fc3
lib/picos_std.awaitable/picos_std_awaitable.mli
@@ -114,7 +114,7 @@ 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
+ {{!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
*)
120
end
0 commit comments