Participating_state.T
type 'a t = [
|
`Active of 'a
`Bootstrapping
]
val return : 'a -> [> `Active of 'a ]
val bind : [< `Active of 'a | `Bootstrapping ] -> f:( 'a0 -> 'b t ) -> 'b t
val map : [> `Define_using_bind ]