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 : 'a t -> unitval invalidate : 'a t -> unitval add_dependency : 'a t -> 'b Dependency.t -> unitval remove_dependency : 'a t -> 'b Dependency.t -> unit