Module Incremental__Types.State

type t = {
mutable status : Status.t;
bind_lhs_change_should_invalidate_rhs : bool;
mutable stabilization_num : Incremental__.Stabilization_num.t;
mutable current_scope : Scope.t;
recompute_heap : Recompute_heap.t;
adjust_heights_heap : Adjust_heights_heap.t;
propagate_invalidity : Node.Packed.t Core_kernel.Stack.t;
mutable num_active_observers : int;
mutable all_observers : Internal_observer.Packed.t Incremental__.Import.Uopt.t;
finalized_observers : Internal_observer.Packed.t Thread_safe_queue.t;
new_observers : Internal_observer.Packed.t Core_kernel.Stack.t;
disallowed_observers : Internal_observer.Packed.t Core_kernel.Stack.t;
set_during_stabilization : Var.Packed.t Core_kernel.Stack.t;
handle_after_stabilization : Node.Packed.t Core_kernel.Stack.t;
run_on_update_handlers : Run_on_update_handlers.t Core_kernel.Stack.t;
mutable only_in_debug : Only_in_debug.t;
weak_hashtbls : Packed_weak_hashtbl.t Thread_safe_queue.t;
mutable keep_node_creation_backtrace : bool;
mutable num_nodes_became_necessary : int;
mutable num_nodes_became_unnecessary : int;
mutable num_nodes_changed : int;
mutable num_nodes_created : int;
mutable num_nodes_invalidated : int;
mutable num_nodes_recomputed : int;
mutable num_nodes_recomputed_directly_because_one_child : int;
mutable num_nodes_recomputed_directly_because_min_height : int;
mutable num_var_sets : int;
}