Module Ui_incr.State

type t = state_witness Incremental.State.t
val sexp_of_t : t -> Ppx_sexp_conv_lib.Sexp.t
include Core_kernel.Invariant.S with type t := t
type t
val invariant : t Base__.Invariant_intf.inv
val t : t

t is the shared state for a call to Incremental.Make.

val keep_node_creation_backtrace : t -> bool
val set_keep_node_creation_backtrace : t -> bool -> unit
val max_height_allowed : t -> int
val set_max_height_allowed : t -> int -> unit
val num_active_observers : t -> int
val max_height_seen : t -> int
val num_nodes_became_necessary : t -> int
val num_nodes_became_unnecessary : t -> int
val num_nodes_changed : t -> int
val num_nodes_created : t -> int
val num_nodes_invalidated : t -> int
val num_nodes_recomputed : t -> int
val num_nodes_recomputed_directly_because_one_child : t -> int
val num_nodes_recomputed_directly_because_min_height : t -> int
val num_stabilizes : t -> int
val num_var_sets : t -> int
module Stats : sig ... end with type t = Incremental.State.Stats.t
val stats : t -> Stats.t