Module Make.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