@@ -3,7 +3,7 @@ module type Trigger = sig
3
3
type exn_bt
4
4
5
5
(* * Schedulers may handle the {!Await} effect to customize the behavior of
6
- [ await] .
6
+ {! await} .
7
7
8
8
In case the fiber permits propagation of cancelation, the trigger should
9
9
be attached to the computation of the fiber for the duration of suspending
@@ -25,7 +25,7 @@ module type Computation = sig
25
25
type exn_bt
26
26
27
27
(* * Schedulers may handle the {!Cancel_after} effect to customize the behavior
28
- of [ cancel_after] .
28
+ of {! cancel_after} .
29
29
30
30
The scheduler should typically attach a trigger to the computation passed
31
31
with the effect and arrange the operation to be canceled upon signal.
@@ -84,7 +84,7 @@ module type Fiber = sig
84
84
]} *)
85
85
86
86
(* * Schedulers may handle the {!Current} effect to customize the behavior of
87
- [ current] .
87
+ {! current} .
88
88
89
89
⚠️ A handler should eventually resume the fiber without propagating
90
90
cancelation. A scheduler may, of course, decide to reschedule the current
@@ -95,7 +95,7 @@ module type Fiber = sig
95
95
type _ Effect.t + = private Current : t Effect .t
96
96
97
97
(* * Schedulers may handle the {!Yield} effect to customize the behavior of
98
- [ yield] .
98
+ {! yield} .
99
99
100
100
Just like with {!Current}, a handler should either continue or discontinue
101
101
the fiber, but, unlike with {!Current}, the scheduler should give priority
@@ -104,7 +104,7 @@ module type Fiber = sig
104
104
type _ Effect.t + = private Yield : unit Effect .t
105
105
106
106
(* * Schedulers may handle the {!Spawn} effect to customize the behavior of
107
- [ spawn] .
107
+ {! spawn} .
108
108
109
109
The scheduler is free to run the newly created fibers on any domain and
110
110
decide which fiber to give priority to. *)
0 commit comments