Module Incremental_kernel__.Var

A module internal to Incremental. Users should see Incremental_intf.

A Var.t is a leaf in the incremental DAG.

include module type of sig ... end

type 'a t = 'a Incremental_kernel__Types.Var.t = {

mutable value : 'a;

mutable value_set_during_stabilization : 'a Incremental_kernel__.Uopt.t;

mutable set_at : Incremental_kernel__.Stabilization_num.t;

watch : 'a Incremental_kernel__Types.Node.t;

}

include Core_kernel.Invariant.S1 with type a t := a t

type 'a t

val invariant : 'a Base__.Invariant_intf.inv ‑> 'a t Base__.Invariant_intf.inv

include Incremental_kernel__.Sexp_of.S1 with type a t := a t

type 'a t

include sig ... end

val sexp_of_t : ('a ‑> Sexplib.Sexp.t) ‑> 'a t ‑> Sexplib.Sexp.t

module Packed : sig ... end

val pack : _ t ‑> Packed.t

val latest_value : 'a t ‑> 'a