Module `Incremental__.State`

type status = Incremental__.Types.Status.t = | Stabilizing | Running_on_update_handlers | Not_stabilizing | Stabilize_previously_raised of Incremental__.Raised_exn.t

module Node_update = Incremental__.On_update_handler.Node_update

module Run_on_update_handlers : sig ... end

module Only_in_debug : sig ... end

module Packed_weak_hashtbl : sig ... end

type t = Incremental__.Types.State.t = { mutable status : status; bind_lhs_change_should_invalidate_rhs : bool; mutable stabilization_num : Incremental__.Stabilization_num.t; mutable current_scope : Incremental.Scope.t; recompute_heap : Incremental__.Recompute_heap.t; adjust_heights_heap : Incremental__.Adjust_heights_heap.t; propagate_invalidity : Incremental__.Node.Packed.t Core_kernel.Stack.t; mutable num_active_observers : int; mutable all_observers : Incremental__.Internal_observer.Packed.t Incremental__.Import.Uopt.t; finalized_observers : Incremental__.Internal_observer.Packed.t Thread_safe_queue.t; new_observers : Incremental__.Internal_observer.Packed.t Core_kernel.Stack.t; disallowed_observers : Incremental__.Internal_observer.Packed.t Core_kernel.Stack.t; set_during_stabilization : Incremental.Var.Packed.t Core_kernel.Stack.t; handle_after_stabilization : Incremental__.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; }

val num_var_sets : t -> int
val set_num_var_sets : t -> int -> unit
val num_nodes_recomputed_directly_because_min_height : t -> int
val set_num_nodes_recomputed_directly_because_min_height : t -> int -> unit
val num_nodes_recomputed_directly_because_one_child : t -> int
val set_num_nodes_recomputed_directly_because_one_child : t -> int -> unit
val num_nodes_recomputed : t -> int
val set_num_nodes_recomputed : t -> int -> unit
val num_nodes_invalidated : t -> int
val set_num_nodes_invalidated : t -> int -> unit
val num_nodes_created : t -> int
val set_num_nodes_created : t -> int -> unit
val num_nodes_changed : t -> int
val set_num_nodes_changed : t -> int -> unit
val num_nodes_became_unnecessary : t -> int
val set_num_nodes_became_unnecessary : t -> int -> unit
val num_nodes_became_necessary : t -> int
val set_num_nodes_became_necessary : t -> int -> unit
val keep_node_creation_backtrace : t -> bool
val set_keep_node_creation_backtrace : t -> bool -> unit
val weak_hashtbls : t -> Packed_weak_hashtbl.t Thread_safe_queue.t
val only_in_debug : t -> Only_in_debug.t
val set_only_in_debug : t -> Only_in_debug.t -> unit
val run_on_update_handlers : t -> Run_on_update_handlers.t Core_kernel.Stack.t
val handle_after_stabilization : t -> Incremental__.Node.Packed.t Core_kernel.Stack.t
val set_during_stabilization : t -> Incremental.Var.Packed.t Core_kernel.Stack.t
val disallowed_observers : t -> Incremental__.Internal_observer.Packed.t Core_kernel.Stack.t
val new_observers : t -> Incremental__.Internal_observer.Packed.t Core_kernel.Stack.t
val finalized_observers : t -> Incremental__.Internal_observer.Packed.t Thread_safe_queue.t
val all_observers : t -> Incremental__.Internal_observer.Packed.t Incremental__.Import.Uopt.t
val set_all_observers : t -> Incremental__.Internal_observer.Packed.t Incremental__.Import.Uopt.t -> unit
val num_active_observers : t -> int
val set_num_active_observers : t -> int -> unit
val propagate_invalidity : t -> Incremental__.Node.Packed.t Core_kernel.Stack.t
val adjust_heights_heap : t -> Incremental__.Adjust_heights_heap.t
val recompute_heap : t -> Incremental__.Recompute_heap.t
val current_scope : t -> Incremental.Scope.t
val set_current_scope : t -> Incremental.Scope.t -> unit
val stabilization_num : t -> Incremental__.Stabilization_num.t
val set_stabilization_num : t -> Incremental__.Stabilization_num.t -> unit
val bind_lhs_change_should_invalidate_rhs : t -> bool
val status : t -> status
val set_status : t -> status -> unit

module Fields : sig ... end

module Clock : sig ... end

val now : Clock.t -> Incremental__.Import.Time_ns.t
val timing_wheel_length : Clock.t -> int
val num_stabilizes : t -> int
val max_height_allowed : t -> int
val max_height_seen : t -> int
val iter_observers : t -> f:(Incremental__.Internal_observer.Packed.t -> 'a) -> unit
val directly_observed : t -> Incremental__.Node.Packed.t list
val save_dot : t -> string -> unit
val iter_observer_descendants : t -> f:(Incremental__.Node.Packed.t -> unit) -> unit

module Stats : sig ... end

module Unordered_array_fold_update = Incremental__.Unordered_array_fold.Update

module Expert : sig ... end