A module internal to Incremental. Users should see Incremental_intf.
An observer is a root of the incremental DAG -- all descendants of an observer are "necessary", so that stabilization ensures their values are up to date.
include module type of sig ... endtype 'a t = 'a Incremental_kernel__Types.Internal_observer.t = {mutable state : State.t; |
observing : 'a Incremental_kernel__Types.Node.t; |
mutable on_update_handlers : 'a Incremental_kernel__.On_update_handler.t list; |
mutable prev_in_all : Incremental_kernel__Types.Packed_internal_observer.t Incremental_kernel__.Uopt.t; |
mutable next_in_all : Incremental_kernel__Types.Packed_internal_observer.t Incremental_kernel__.Uopt.t; |
mutable prev_in_observing : 'a t Incremental_kernel__.Uopt.t; |
mutable next_in_observing : 'a t Incremental_kernel__.Uopt.t; |
}include Core_kernel.Invariant.S1 with type a t := a tval invariant : 'a Base__.Invariant_intf.inv ‑> 'a t Base__.Invariant_intf.invinclude Incremental_kernel__.Sexp_of.S1 with type a t := a tinclude sig ... endval sexp_of_t : ('a ‑> Sexplib.Sexp.t) ‑> 'a t ‑> Sexplib.Sexp.tval observing : 'a t ‑> 'a Incremental_kernel__.Node.tval use_is_allowed : _ t ‑> boolval value_exn : 'a t ‑> 'aval on_update_exn : 'a t ‑> 'a Incremental_kernel__.On_update_handler.t ‑> unitval unlink : _ t ‑> unitmodule Packed : sig ... end