type t = state_witness Incremental.State.tval sexp_of_t : t -> Sexplib0.Sexp.tinclude Core.Invariant.S with type t := tval invariant : t -> unitval t : tt is the shared state for a call to Incremental.Make.
val keep_node_creation_backtrace : t -> boolval set_keep_node_creation_backtrace : t -> bool -> unitval max_height_allowed : t -> intval set_max_height_allowed : t -> int -> unitval num_active_observers : t -> intval max_height_seen : t -> intval num_nodes_became_necessary : t -> intval num_nodes_became_unnecessary : t -> intval num_nodes_changed : t -> intval num_nodes_created : t -> intval num_nodes_invalidated : t -> intval num_nodes_recomputed : t -> intval num_nodes_recomputed_directly_because_one_child : t -> intval num_nodes_recomputed_directly_because_min_height : t -> intval num_stabilizes : t -> intval num_var_sets : t -> intmodule Stats : sig ... end