`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 ‑> Base.Sexp.t`
`include Core_kernel.Invariant.S with type t := t`
`type 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`