Module Cell

type any = [ ]

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