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