type t
= Incremental_kernel__.Types.Packed_internal_observer.t
=
|
T : _ Incremental_kernel__.Types.Internal_observer.t ‑> t
include sig ... end
val sexp_of_t : t ‑> Sexplib.Sexp.t
include Core_kernel.Invariant.S with type t := t
val invariant : t Base__.Invariant_intf.inv
val next_in_all : t ‑> t Incremental_kernel__.Uopt.t
val set_prev_in_all : t ‑> t Incremental_kernel__.Uopt.t ‑> unit