Expert.Nodetype 'a t = ('a, state_witness) Incremental.Expert.Node.tval sexp_of_t :
('a -> Ppx_sexp_conv_lib.Sexp.t) ->
'a t ->
Ppx_sexp_conv_lib.Sexp.tval create :
?on_observability_change:(is_now_observable:bool -> unit) ->
(unit -> 'a) ->
'a tval make_stale : _ t -> unitval invalidate : _ t -> unitval add_dependency : _ t -> _ Dependency.t -> unitval remove_dependency : _ t -> _ Dependency.t -> unit