Observer (mina_incremental.Mina_incremental.Status.Observer)

type 'a t = ( 'a, state_witness ) Incremental.Observer.t

val sexp_of_t : 
  ( 'a -> Ppx_sexp_conv_lib.Sexp.t ) ->
  'a t ->
  Ppx_sexp_conv_lib.Sexp.t

val invariant : 'a Base__Invariant_intf.inv -> 'a t Base__Invariant_intf.inv

val observing : 'a t -> 'a t

val use_is_allowed : 'a t -> bool

val value : 'a t -> 'a Core_kernel.Or_error.t

val value_exn : 'a t -> 'a

module Update : sig ... end

val on_update_exn : 'a t -> f:( 'a Update.t -> unit ) -> unit

val disallow_future_use : 'a t -> unit