val iter : t -> status:(([< `Read | `Set_and_create ], t, status) Fieldslib.Field.t_with_perm -> t -> status -> 'a) -> bind_lhs_change_should_invalidate_rhs:(([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> t -> bool -> 'b) -> stabilization_num:(([< `Read | `Set_and_create ], t, Incremental__.Stabilization_num.t) Fieldslib.Field.t_with_perm -> t -> Incremental__.Stabilization_num.t -> 'c) -> current_scope:(([< `Read | `Set_and_create ], t, Incremental__.Scope.t) Fieldslib.Field.t_with_perm -> t -> Incremental__.Scope.t -> 'd) -> recompute_heap:(([< `Read | `Set_and_create ], t, Incremental__.Recompute_heap.t) Fieldslib.Field.t_with_perm -> t -> Incremental__.Recompute_heap.t -> 'e) -> adjust_heights_heap:(([< `Read | `Set_and_create ], t, Incremental__.Adjust_heights_heap.t) Fieldslib.Field.t_with_perm -> t -> Incremental__.Adjust_heights_heap.t -> 'f) -> propagate_invalidity:(([< `Read | `Set_and_create ], t, Incremental__.Node.Packed.t Core_kernel.Stack.t) Fieldslib.Field.t_with_perm -> t -> Incremental__.Node.Packed.t Core_kernel.Stack.t -> 'g) -> num_active_observers:(([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm -> t -> int -> 'h) -> all_observers:(([< `Read | `Set_and_create ], t, Incremental__.Internal_observer.Packed.t Incremental__.Import.Uopt.t) Fieldslib.Field.t_with_perm -> t -> Incremental__.Internal_observer.Packed.t Incremental__.Import.Uopt.t -> 'i) -> finalized_observers:(([< `Read | `Set_and_create ], t, Incremental__.Internal_observer.Packed.t Thread_safe_queue.t) Fieldslib.Field.t_with_perm -> t -> Incremental__.Internal_observer.Packed.t Thread_safe_queue.t -> 'j) -> new_observers:(([< `Read | `Set_and_create ], t, Incremental__.Internal_observer.Packed.t Core_kernel.Stack.t) Fieldslib.Field.t_with_perm -> t -> Incremental__.Internal_observer.Packed.t Core_kernel.Stack.t -> 'k) -> disallowed_observers:(([< `Read | `Set_and_create ], t, Incremental__.Internal_observer.Packed.t Core_kernel.Stack.t) Fieldslib.Field.t_with_perm -> t -> Incremental__.Internal_observer.Packed.t Core_kernel.Stack.t -> 'l) -> set_during_stabilization:(([< `Read | `Set_and_create ], t, Incremental__.Var.Packed.t Core_kernel.Stack.t) Fieldslib.Field.t_with_perm -> t -> Incremental__.Var.Packed.t Core_kernel.Stack.t -> 'm) -> handle_after_stabilization:(([< `Read | `Set_and_create ], t, Incremental__.Node.Packed.t Core_kernel.Stack.t) Fieldslib.Field.t_with_perm -> t -> Incremental__.Node.Packed.t Core_kernel.Stack.t -> 'n) -> run_on_update_handlers:(([< `Read | `Set_and_create ], t, Run_on_update_handlers.t Core_kernel.Stack.t) Fieldslib.Field.t_with_perm -> t -> Run_on_update_handlers.t Core_kernel.Stack.t -> 'o) -> only_in_debug:(([< `Read | `Set_and_create ], t, Only_in_debug.t) Fieldslib.Field.t_with_perm -> t -> Only_in_debug.t -> 'p) -> weak_hashtbls:(([< `Read | `Set_and_create ], t, Packed_weak_hashtbl.t Thread_safe_queue.t) Fieldslib.Field.t_with_perm -> t -> Packed_weak_hashtbl.t Thread_safe_queue.t -> 'q) -> num_nodes_became_necessary:(([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm -> t -> int -> 'r) -> num_nodes_became_unnecessary:(([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm -> t -> int -> 's) -> num_nodes_changed:(([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm -> t -> int -> 't) -> num_nodes_created:(([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm -> t -> int -> 'u) -> num_nodes_invalidated:(([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm -> t -> int -> 'v) -> num_nodes_recomputed:(([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm -> t -> int -> 'w) -> num_nodes_recomputed_directly_because_one_child:(([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm -> t -> int -> 'x) -> num_nodes_recomputed_directly_because_min_height:(([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm -> t -> int -> 'y) -> num_var_sets:(([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm -> t -> int -> 'z) -> 'zval fold : t -> init:'a -> status:('a -> ([< `Read | `Set_and_create ], t, status) Fieldslib.Field.t_with_perm -> t -> status -> 'b) -> bind_lhs_change_should_invalidate_rhs:('b -> ([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> t -> bool -> 'c) -> stabilization_num:('c -> ([< `Read | `Set_and_create ], t, Incremental__.Stabilization_num.t) Fieldslib.Field.t_with_perm -> t -> Incremental__.Stabilization_num.t -> 'd) -> current_scope:('d -> ([< `Read | `Set_and_create ], t, Incremental__.Scope.t) Fieldslib.Field.t_with_perm -> t -> Incremental__.Scope.t -> 'e) -> recompute_heap:('e -> ([< `Read | `Set_and_create ], t, Incremental__.Recompute_heap.t) Fieldslib.Field.t_with_perm -> t -> Incremental__.Recompute_heap.t -> 'f) -> adjust_heights_heap:('f -> ([< `Read | `Set_and_create ], t, Incremental__.Adjust_heights_heap.t) Fieldslib.Field.t_with_perm -> t -> Incremental__.Adjust_heights_heap.t -> 'g) -> propagate_invalidity:('g -> ([< `Read | `Set_and_create ], t, Incremental__.Node.Packed.t Core_kernel.Stack.t) Fieldslib.Field.t_with_perm -> t -> Incremental__.Node.Packed.t Core_kernel.Stack.t -> 'h) -> num_active_observers:('h -> ([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm -> t -> int -> 'i) -> all_observers:('i -> ([< `Read | `Set_and_create ], t, Incremental__.Internal_observer.Packed.t Incremental__.Import.Uopt.t) Fieldslib.Field.t_with_perm -> t -> Incremental__.Internal_observer.Packed.t Incremental__.Import.Uopt.t -> 'j) -> finalized_observers:('j -> ([< `Read | `Set_and_create ], t, Incremental__.Internal_observer.Packed.t Thread_safe_queue.t) Fieldslib.Field.t_with_perm -> t -> Incremental__.Internal_observer.Packed.t Thread_safe_queue.t -> 'k) -> new_observers:('k -> ([< `Read | `Set_and_create ], t, Incremental__.Internal_observer.Packed.t Core_kernel.Stack.t) Fieldslib.Field.t_with_perm -> t -> Incremental__.Internal_observer.Packed.t Core_kernel.Stack.t -> 'l) -> disallowed_observers:('l -> ([< `Read | `Set_and_create ], t, Incremental__.Internal_observer.Packed.t Core_kernel.Stack.t) Fieldslib.Field.t_with_perm -> t -> Incremental__.Internal_observer.Packed.t Core_kernel.Stack.t -> 'm) -> set_during_stabilization:('m -> ([< `Read | `Set_and_create ], t, Incremental__.Var.Packed.t Core_kernel.Stack.t) Fieldslib.Field.t_with_perm -> t -> Incremental__.Var.Packed.t Core_kernel.Stack.t -> 'n) -> handle_after_stabilization:('n -> ([< `Read | `Set_and_create ], t, Incremental__.Node.Packed.t Core_kernel.Stack.t) Fieldslib.Field.t_with_perm -> t -> Incremental__.Node.Packed.t Core_kernel.Stack.t -> 'o) -> run_on_update_handlers:('o -> ([< `Read | `Set_and_create ], t, Run_on_update_handlers.t Core_kernel.Stack.t) Fieldslib.Field.t_with_perm -> t -> Run_on_update_handlers.t Core_kernel.Stack.t -> 'p) -> only_in_debug:('p -> ([< `Read | `Set_and_create ], t, Only_in_debug.t) Fieldslib.Field.t_with_perm -> t -> Only_in_debug.t -> 'q) -> weak_hashtbls:('q -> ([< `Read | `Set_and_create ], t, Packed_weak_hashtbl.t Thread_safe_queue.t) Fieldslib.Field.t_with_perm -> t -> Packed_weak_hashtbl.t Thread_safe_queue.t -> 'r) -> num_nodes_became_necessary:('r -> ([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm -> t -> int -> 's) -> num_nodes_became_unnecessary:('s -> ([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm -> t -> int -> 't) -> num_nodes_changed:('t -> ([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm -> t -> int -> 'u) -> num_nodes_created:('u -> ([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm -> t -> int -> 'v) -> num_nodes_invalidated:('v -> ([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm -> t -> int -> 'w) -> num_nodes_recomputed:('w -> ([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm -> t -> int -> 'x) -> num_nodes_recomputed_directly_because_one_child:('x -> ([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm -> t -> int -> 'y) -> num_nodes_recomputed_directly_because_min_height:('y -> ([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm -> t -> int -> 'z) -> num_var_sets:('z -> ([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm -> t -> int -> 'a1) -> 'a1val for_all : t -> status:(([< `Read | `Set_and_create ], t, status) Fieldslib.Field.t_with_perm -> t -> status -> bool) -> bind_lhs_change_should_invalidate_rhs:(([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> t -> bool -> bool) -> stabilization_num:(([< `Read | `Set_and_create ], t, Incremental__.Stabilization_num.t) Fieldslib.Field.t_with_perm -> t -> Incremental__.Stabilization_num.t -> bool) -> current_scope:(([< `Read | `Set_and_create ], t, Incremental__.Scope.t) Fieldslib.Field.t_with_perm -> t -> Incremental__.Scope.t -> bool) -> recompute_heap:(([< `Read | `Set_and_create ], t, Incremental__.Recompute_heap.t) Fieldslib.Field.t_with_perm -> t -> Incremental__.Recompute_heap.t -> bool) -> adjust_heights_heap:(([< `Read | `Set_and_create ], t, Incremental__.Adjust_heights_heap.t) Fieldslib.Field.t_with_perm -> t -> Incremental__.Adjust_heights_heap.t -> bool) -> propagate_invalidity:(([< `Read | `Set_and_create ], t, Incremental__.Node.Packed.t Core_kernel.Stack.t) Fieldslib.Field.t_with_perm -> t -> Incremental__.Node.Packed.t Core_kernel.Stack.t -> bool) -> num_active_observers:(([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm -> t -> int -> bool) -> all_observers:(([< `Read | `Set_and_create ], t, Incremental__.Internal_observer.Packed.t Incremental__.Import.Uopt.t) Fieldslib.Field.t_with_perm -> t -> Incremental__.Internal_observer.Packed.t Incremental__.Import.Uopt.t -> bool) -> finalized_observers:(([< `Read | `Set_and_create ], t, Incremental__.Internal_observer.Packed.t Thread_safe_queue.t) Fieldslib.Field.t_with_perm -> t -> Incremental__.Internal_observer.Packed.t Thread_safe_queue.t -> bool) -> new_observers:(([< `Read | `Set_and_create ], t, Incremental__.Internal_observer.Packed.t Core_kernel.Stack.t) Fieldslib.Field.t_with_perm -> t -> Incremental__.Internal_observer.Packed.t Core_kernel.Stack.t -> bool) -> disallowed_observers:(([< `Read | `Set_and_create ], t, Incremental__.Internal_observer.Packed.t Core_kernel.Stack.t) Fieldslib.Field.t_with_perm -> t -> Incremental__.Internal_observer.Packed.t Core_kernel.Stack.t -> bool) -> set_during_stabilization:(([< `Read | `Set_and_create ], t, Incremental__.Var.Packed.t Core_kernel.Stack.t) Fieldslib.Field.t_with_perm -> t -> Incremental__.Var.Packed.t Core_kernel.Stack.t -> bool) -> handle_after_stabilization:(([< `Read | `Set_and_create ], t, Incremental__.Node.Packed.t Core_kernel.Stack.t) Fieldslib.Field.t_with_perm -> t -> Incremental__.Node.Packed.t Core_kernel.Stack.t -> bool) -> run_on_update_handlers:(([< `Read | `Set_and_create ], t, Run_on_update_handlers.t Core_kernel.Stack.t) Fieldslib.Field.t_with_perm -> t -> Run_on_update_handlers.t Core_kernel.Stack.t -> bool) -> only_in_debug:(([< `Read | `Set_and_create ], t, Only_in_debug.t) Fieldslib.Field.t_with_perm -> t -> Only_in_debug.t -> bool) -> weak_hashtbls:(([< `Read | `Set_and_create ], t, Packed_weak_hashtbl.t Thread_safe_queue.t) Fieldslib.Field.t_with_perm -> t -> Packed_weak_hashtbl.t Thread_safe_queue.t -> bool) -> num_nodes_became_necessary:(([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm -> t -> int -> bool) -> num_nodes_became_unnecessary:(([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm -> t -> int -> bool) -> num_nodes_changed:(([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm -> t -> int -> bool) -> num_nodes_created:(([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm -> t -> int -> bool) -> num_nodes_invalidated:(([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm -> t -> int -> bool) -> num_nodes_recomputed:(([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm -> t -> int -> bool) -> num_nodes_recomputed_directly_because_one_child:(([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm -> t -> int -> bool) -> num_nodes_recomputed_directly_because_min_height:(([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm -> t -> int -> bool) -> num_var_sets:(([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm -> t -> int -> bool) -> boolval exists : t -> status:(([< `Read | `Set_and_create ], t, status) Fieldslib.Field.t_with_perm -> t -> status -> bool) -> bind_lhs_change_should_invalidate_rhs:(([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> t -> bool -> bool) -> stabilization_num:(([< `Read | `Set_and_create ], t, Incremental__.Stabilization_num.t) Fieldslib.Field.t_with_perm -> t -> Incremental__.Stabilization_num.t -> bool) -> current_scope:(([< `Read | `Set_and_create ], t, Incremental__.Scope.t) Fieldslib.Field.t_with_perm -> t -> Incremental__.Scope.t -> bool) -> recompute_heap:(([< `Read | `Set_and_create ], t, Incremental__.Recompute_heap.t) Fieldslib.Field.t_with_perm -> t -> Incremental__.Recompute_heap.t -> bool) -> adjust_heights_heap:(([< `Read | `Set_and_create ], t, Incremental__.Adjust_heights_heap.t) Fieldslib.Field.t_with_perm -> t -> Incremental__.Adjust_heights_heap.t -> bool) -> propagate_invalidity:(([< `Read | `Set_and_create ], t, Incremental__.Node.Packed.t Core_kernel.Stack.t) Fieldslib.Field.t_with_perm -> t -> Incremental__.Node.Packed.t Core_kernel.Stack.t -> bool) -> num_active_observers:(([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm -> t -> int -> bool) -> all_observers:(([< `Read | `Set_and_create ], t, Incremental__.Internal_observer.Packed.t Incremental__.Import.Uopt.t) Fieldslib.Field.t_with_perm -> t -> Incremental__.Internal_observer.Packed.t Incremental__.Import.Uopt.t -> bool) -> finalized_observers:(([< `Read | `Set_and_create ], t, Incremental__.Internal_observer.Packed.t Thread_safe_queue.t) Fieldslib.Field.t_with_perm -> t -> Incremental__.Internal_observer.Packed.t Thread_safe_queue.t -> bool) -> new_observers:(([< `Read | `Set_and_create ], t, Incremental__.Internal_observer.Packed.t Core_kernel.Stack.t) Fieldslib.Field.t_with_perm -> t -> Incremental__.Internal_observer.Packed.t Core_kernel.Stack.t -> bool) -> disallowed_observers:(([< `Read | `Set_and_create ], t, Incremental__.Internal_observer.Packed.t Core_kernel.Stack.t) Fieldslib.Field.t_with_perm -> t -> Incremental__.Internal_observer.Packed.t Core_kernel.Stack.t -> bool) -> set_during_stabilization:(([< `Read | `Set_and_create ], t, Incremental__.Var.Packed.t Core_kernel.Stack.t) Fieldslib.Field.t_with_perm -> t -> Incremental__.Var.Packed.t Core_kernel.Stack.t -> bool) -> handle_after_stabilization:(([< `Read | `Set_and_create ], t, Incremental__.Node.Packed.t Core_kernel.Stack.t) Fieldslib.Field.t_with_perm -> t -> Incremental__.Node.Packed.t Core_kernel.Stack.t -> bool) -> run_on_update_handlers:(([< `Read | `Set_and_create ], t, Run_on_update_handlers.t Core_kernel.Stack.t) Fieldslib.Field.t_with_perm -> t -> Run_on_update_handlers.t Core_kernel.Stack.t -> bool) -> only_in_debug:(([< `Read | `Set_and_create ], t, Only_in_debug.t) Fieldslib.Field.t_with_perm -> t -> Only_in_debug.t -> bool) -> weak_hashtbls:(([< `Read | `Set_and_create ], t, Packed_weak_hashtbl.t Thread_safe_queue.t) Fieldslib.Field.t_with_perm -> t -> Packed_weak_hashtbl.t Thread_safe_queue.t -> bool) -> num_nodes_became_necessary:(([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm -> t -> int -> bool) -> num_nodes_became_unnecessary:(([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm -> t -> int -> bool) -> num_nodes_changed:(([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm -> t -> int -> bool) -> num_nodes_created:(([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm -> t -> int -> bool) -> num_nodes_invalidated:(([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm -> t -> int -> bool) -> num_nodes_recomputed:(([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm -> t -> int -> bool) -> num_nodes_recomputed_directly_because_one_child:(([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm -> t -> int -> bool) -> num_nodes_recomputed_directly_because_min_height:(([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm -> t -> int -> bool) -> num_var_sets:(([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm -> t -> int -> bool) -> boolval to_list : t -> status:(([< `Read | `Set_and_create ], t, status) Fieldslib.Field.t_with_perm -> t -> status -> 'a) -> bind_lhs_change_should_invalidate_rhs:(([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> t -> bool -> 'a) -> stabilization_num:(([< `Read | `Set_and_create ], t, Incremental__.Stabilization_num.t) Fieldslib.Field.t_with_perm -> t -> Incremental__.Stabilization_num.t -> 'a) -> current_scope:(([< `Read | `Set_and_create ], t, Incremental__.Scope.t) Fieldslib.Field.t_with_perm -> t -> Incremental__.Scope.t -> 'a) -> recompute_heap:(([< `Read | `Set_and_create ], t, Incremental__.Recompute_heap.t) Fieldslib.Field.t_with_perm -> t -> Incremental__.Recompute_heap.t -> 'a) -> adjust_heights_heap:(([< `Read | `Set_and_create ], t, Incremental__.Adjust_heights_heap.t) Fieldslib.Field.t_with_perm -> t -> Incremental__.Adjust_heights_heap.t -> 'a) -> propagate_invalidity:(([< `Read | `Set_and_create ], t, Incremental__.Node.Packed.t Core_kernel.Stack.t) Fieldslib.Field.t_with_perm -> t -> Incremental__.Node.Packed.t Core_kernel.Stack.t -> 'a) -> num_active_observers:(([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm -> t -> int -> 'a) -> all_observers:(([< `Read | `Set_and_create ], t, Incremental__.Internal_observer.Packed.t Incremental__.Import.Uopt.t) Fieldslib.Field.t_with_perm -> t -> Incremental__.Internal_observer.Packed.t Incremental__.Import.Uopt.t -> 'a) -> finalized_observers:(([< `Read | `Set_and_create ], t, Incremental__.Internal_observer.Packed.t Thread_safe_queue.t) Fieldslib.Field.t_with_perm -> t -> Incremental__.Internal_observer.Packed.t Thread_safe_queue.t -> 'a) -> new_observers:(([< `Read | `Set_and_create ], t, Incremental__.Internal_observer.Packed.t Core_kernel.Stack.t) Fieldslib.Field.t_with_perm -> t -> Incremental__.Internal_observer.Packed.t Core_kernel.Stack.t -> 'a) -> disallowed_observers:(([< `Read | `Set_and_create ], t, Incremental__.Internal_observer.Packed.t Core_kernel.Stack.t) Fieldslib.Field.t_with_perm -> t -> Incremental__.Internal_observer.Packed.t Core_kernel.Stack.t -> 'a) -> set_during_stabilization:(([< `Read | `Set_and_create ], t, Incremental__.Var.Packed.t Core_kernel.Stack.t) Fieldslib.Field.t_with_perm -> t -> Incremental__.Var.Packed.t Core_kernel.Stack.t -> 'a) -> handle_after_stabilization:(([< `Read | `Set_and_create ], t, Incremental__.Node.Packed.t Core_kernel.Stack.t) Fieldslib.Field.t_with_perm -> t -> Incremental__.Node.Packed.t Core_kernel.Stack.t -> 'a) -> run_on_update_handlers:(([< `Read | `Set_and_create ], t, Run_on_update_handlers.t Core_kernel.Stack.t) Fieldslib.Field.t_with_perm -> t -> Run_on_update_handlers.t Core_kernel.Stack.t -> 'a) -> only_in_debug:(([< `Read | `Set_and_create ], t, Only_in_debug.t) Fieldslib.Field.t_with_perm -> t -> Only_in_debug.t -> 'a) -> weak_hashtbls:(([< `Read | `Set_and_create ], t, Packed_weak_hashtbl.t Thread_safe_queue.t) Fieldslib.Field.t_with_perm -> t -> Packed_weak_hashtbl.t Thread_safe_queue.t -> 'a) -> num_nodes_became_necessary:(([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm -> t -> int -> 'a) -> num_nodes_became_unnecessary:(([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm -> t -> int -> 'a) -> num_nodes_changed:(([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm -> t -> int -> 'a) -> num_nodes_created:(([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm -> t -> int -> 'a) -> num_nodes_invalidated:(([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm -> t -> int -> 'a) -> num_nodes_recomputed:(([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm -> t -> int -> 'a) -> num_nodes_recomputed_directly_because_one_child:(([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm -> t -> int -> 'a) -> num_nodes_recomputed_directly_because_min_height:(([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm -> t -> int -> 'a) -> num_var_sets:(([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm -> t -> int -> 'a) -> 'a listval map : t -> status:(([< `Read | `Set_and_create ], t, status) Fieldslib.Field.t_with_perm -> t -> status -> status) -> bind_lhs_change_should_invalidate_rhs:(([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> t -> bool -> bool) -> stabilization_num:(([< `Read | `Set_and_create ], t, Incremental__.Stabilization_num.t) Fieldslib.Field.t_with_perm -> t -> Incremental__.Stabilization_num.t -> Incremental__.Stabilization_num.t) -> current_scope:(([< `Read | `Set_and_create ], t, Incremental__.Scope.t) Fieldslib.Field.t_with_perm -> t -> Incremental__.Scope.t -> Incremental__.Scope.t) -> recompute_heap:(([< `Read | `Set_and_create ], t, Incremental__.Recompute_heap.t) Fieldslib.Field.t_with_perm -> t -> Incremental__.Recompute_heap.t -> Incremental__.Recompute_heap.t) -> adjust_heights_heap:(([< `Read | `Set_and_create ], t, Incremental__.Adjust_heights_heap.t) Fieldslib.Field.t_with_perm -> t -> Incremental__.Adjust_heights_heap.t -> Incremental__.Adjust_heights_heap.t) -> propagate_invalidity:(([< `Read | `Set_and_create ], t, Incremental__.Node.Packed.t Core_kernel.Stack.t) Fieldslib.Field.t_with_perm -> t -> Incremental__.Node.Packed.t Core_kernel.Stack.t -> Incremental__.Node.Packed.t Core_kernel.Stack.t) -> num_active_observers:(([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm -> t -> int -> int) -> all_observers:(([< `Read | `Set_and_create ], t, Incremental__.Internal_observer.Packed.t Incremental__.Import.Uopt.t) Fieldslib.Field.t_with_perm -> t -> Incremental__.Internal_observer.Packed.t Incremental__.Import.Uopt.t -> Incremental__.Internal_observer.Packed.t Incremental__.Import.Uopt.t) -> finalized_observers:(([< `Read | `Set_and_create ], t, Incremental__.Internal_observer.Packed.t Thread_safe_queue.t) Fieldslib.Field.t_with_perm -> t -> Incremental__.Internal_observer.Packed.t Thread_safe_queue.t -> Incremental__.Internal_observer.Packed.t Thread_safe_queue.t) -> new_observers:(([< `Read | `Set_and_create ], t, Incremental__.Internal_observer.Packed.t Core_kernel.Stack.t) Fieldslib.Field.t_with_perm -> t -> Incremental__.Internal_observer.Packed.t Core_kernel.Stack.t -> Incremental__.Internal_observer.Packed.t Core_kernel.Stack.t) -> disallowed_observers:(([< `Read | `Set_and_create ], t, Incremental__.Internal_observer.Packed.t Core_kernel.Stack.t) Fieldslib.Field.t_with_perm -> t -> Incremental__.Internal_observer.Packed.t Core_kernel.Stack.t -> Incremental__.Internal_observer.Packed.t Core_kernel.Stack.t) -> set_during_stabilization:(([< `Read | `Set_and_create ], t, Incremental__.Var.Packed.t Core_kernel.Stack.t) Fieldslib.Field.t_with_perm -> t -> Incremental__.Var.Packed.t Core_kernel.Stack.t -> Incremental__.Var.Packed.t Core_kernel.Stack.t) -> handle_after_stabilization:(([< `Read | `Set_and_create ], t, Incremental__.Node.Packed.t Core_kernel.Stack.t) Fieldslib.Field.t_with_perm -> t -> Incremental__.Node.Packed.t Core_kernel.Stack.t -> Incremental__.Node.Packed.t Core_kernel.Stack.t) -> run_on_update_handlers:(([< `Read | `Set_and_create ], t, Run_on_update_handlers.t Core_kernel.Stack.t) Fieldslib.Field.t_with_perm -> t -> Run_on_update_handlers.t Core_kernel.Stack.t -> Run_on_update_handlers.t Core_kernel.Stack.t) -> only_in_debug:(([< `Read | `Set_and_create ], t, Only_in_debug.t) Fieldslib.Field.t_with_perm -> t -> Only_in_debug.t -> Only_in_debug.t) -> weak_hashtbls:(([< `Read | `Set_and_create ], t, Packed_weak_hashtbl.t Thread_safe_queue.t) Fieldslib.Field.t_with_perm -> t -> Packed_weak_hashtbl.t Thread_safe_queue.t -> Packed_weak_hashtbl.t Thread_safe_queue.t) -> num_nodes_became_necessary:(([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm -> t -> int -> int) -> num_nodes_became_unnecessary:(([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm -> t -> int -> int) -> num_nodes_changed:(([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm -> t -> int -> int) -> num_nodes_created:(([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm -> t -> int -> int) -> num_nodes_invalidated:(([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm -> t -> int -> int) -> num_nodes_recomputed:(([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm -> t -> int -> int) -> num_nodes_recomputed_directly_because_one_child:(([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm -> t -> int -> int) -> num_nodes_recomputed_directly_because_min_height:(([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm -> t -> int -> int) -> num_var_sets:(([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm -> t -> int -> int) -> tval set_all_mutable_fields : t -> status:status -> stabilization_num:Incremental__.Stabilization_num.t -> current_scope:Incremental__.Scope.t -> num_active_observers:int -> all_observers:Incremental__.Internal_observer.Packed.t Incremental__.Import.Uopt.t -> only_in_debug:Only_in_debug.t -> num_nodes_became_necessary:int -> num_nodes_became_unnecessary:int -> num_nodes_changed:int -> num_nodes_created:int -> num_nodes_invalidated:int -> num_nodes_recomputed:int -> num_nodes_recomputed_directly_because_one_child:int -> num_nodes_recomputed_directly_because_min_height:int -> num_var_sets:int -> unit