type t
=
|
Close_requested of Import.Execution_context.t * unit ‑> unit
Closed
Open of unit Import.Ivar.t
val sexp_of_t : t ‑> Sexplib.Sexp.t
val transition_is_allowed : t ‑> t ‑> bool
val is_open : t ‑> bool