Up
Module
State
Signature
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