Node (p.incremental.v0.17.0.doc.incremental.memoize.Incr

type 'a t = ('a, state_witness) Incremental.Expert.Node.t

val sexp_of_t : ('a -> Sexplib0.Sexp.t) -> 'a t -> Sexplib0.Sexp.t

val create : 
  ?on_observability_change:(is_now_observable:bool -> unit) ->
  (unit -> 'a) ->
  'a t

val watch : 'a t -> 'a incremental

val make_stale : _ t -> unit

val invalidate : _ t -> unit

val add_dependency : _ t -> _ Dependency.t -> unit

val remove_dependency : _ t -> _ Dependency.t -> unit