Participating_state (participating_state.Participating

module T : sig ... end

include module type of struct include T end

type 'a t = [

| `Active of 'a

| `Bootstrapping

]

val (>>=) : 'a T.t -> ( 'a -> 'b T.t ) -> 'b T.t

val (>>|) : 'a T.t -> ( 'a -> 'b ) -> 'b T.t

module Monad_infix : sig ... end

val bind : 'a T.t -> f:( 'a -> 'b T.t ) -> 'b T.t

val return : 'a -> 'a T.t

val map : 'a T.t -> f:( 'a -> 'b ) -> 'b T.t

val join : 'a T.t T.t -> 'a T.t

val ignore_m : 'a T.t -> unit T.t

val all : 'a T.t list -> 'a list T.t

val all_unit : unit T.t list -> unit T.t

module Let_syntax : sig ... end

module Option : sig ... end

val active : [< `Active of 'a | `Bootstrapping ] -> 'b option

val bootstrap_err_msg : string

val active_exn : [< `Active of 'a | `Bootstrapping ] -> 'b

val active_error : 
  [< `Active of 'a | `Bootstrapping ] ->
  ( 'b, Core_kernel__.Error.t ) Core_kernel._result

val to_deferred_or_error : 
  'a Async_kernel.Deferred.t t ->
  'a Async_kernel.Deferred.Or_error.t

val sequence : 'a T.t Core_kernel.List.t -> 'a0 Core_kernel.List.t T.t