Incr.Observertype 'a t = ('a, state_witness) Incremental.Observer.tval sexp_of_t :
('a -> Ppx_sexp_conv_lib.Sexp.t) ->
'a t ->
Ppx_sexp_conv_lib.Sexp.tinclude Core_kernel.Invariant.S1 with type 'a t := 'a tval invariant : ('a -> unit) -> 'a t -> unitval observing : 'a t -> 'a incrementalval use_is_allowed : _ t -> boolval value : 'a t -> 'a Core_kernel.Or_error.tval value_exn : 'a t -> 'amodule Update : sig ... endval disallow_future_use : _ t -> unit