type ('a, 'b) t
=
| Empty_one_or_more_handlers : ('a ‑> unit) * Execution_context.t * 'a Handler.t * 'a Handler.t ‑> ('a, [> `Empty_one_or_more_handlers ]) t |
| Empty_one_handler : ('a ‑> unit) * Execution_context.t ‑> ('a, [> `Empty_one_handler ]) t |
| Empty : ('a, [> `Empty ]) t |
| Full : 'a ‑> ('a, [> `Full ]) t |
| Indir : 'a Ivar.t ‑> ('a, [> `Indir ]) t |