Module Incremental_kernel__.State.Expert

val expert_kind_of_node : 'a Incremental_kernel__.Node.t ‑> 'a Incremental_kernel__Types.Expert.t Incremental_kernel__.Uopt.t

val create : t ‑> on_observability_change:(is_now_observable:bool ‑> unit) ‑> (unit ‑> 'a) ‑> 'a Incremental_kernel__.Node.t

val currently_running_node_exn : t ‑> string ‑> Incremental_kernel__.Node.Packed.t

val assert_currently_running_node_is_child : t ‑> 'a Incremental_kernel__.Node.t ‑> string ‑> unit

val assert_currently_running_node_is_parent : t ‑> 'a Incremental_kernel__.Node.t ‑> string ‑> unit

val make_stale : t ‑> 'a Incremental_kernel__.Node.t ‑> unit

val invalidate : t ‑> 'a Incremental_kernel__.Node.t ‑> unit

val add_dependency : t ‑> 'a Incremental_kernel__.Node.t ‑> 'b Incremental_kernel__.Expert.edge ‑> unit

val remove_dependency : t ‑> 'a Incremental_kernel__.Node.t ‑> 'b Incremental_kernel__.Expert.edge ‑> unit