Module Incremental_kernel__.State.Fields.Direct
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_kernel__.Stabilization_num.t) Fieldslib.Field.t_with_perm ‑> t ‑> Incremental_kernel__.Stabilization_num.t ‑> 'c) ‑> current_scope:(([< `Read | `Set_and_create ], t, Incremental_kernel__.Scope.t) Fieldslib.Field.t_with_perm ‑> t ‑> Incremental_kernel__.Scope.t ‑> 'd) ‑> recompute_heap:(([< `Read | `Set_and_create ], t, Incremental_kernel__.Recompute_heap.t) Fieldslib.Field.t_with_perm ‑> t ‑> Incremental_kernel__.Recompute_heap.t ‑> 'e) ‑> adjust_heights_heap:(([< `Read | `Set_and_create ], t, Incremental_kernel__.Adjust_heights_heap.t) Fieldslib.Field.t_with_perm ‑> t ‑> Incremental_kernel__.Adjust_heights_heap.t ‑> 'f) ‑> propagate_invalidity:(([< `Read | `Set_and_create ], t, Incremental_kernel__.Node.Packed.t Core_kernel.Stack.t) Fieldslib.Field.t_with_perm ‑> t ‑> Incremental_kernel__.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_kernel__.Internal_observer.Packed.t Incremental_kernel__.Uopt.t) Fieldslib.Field.t_with_perm ‑> t ‑> Incremental_kernel__.Internal_observer.Packed.t Incremental_kernel__.Uopt.t ‑> 'i) ‑> finalized_observers:(([< `Read | `Set_and_create ], t, Incremental_kernel__.Internal_observer.Packed.t Core_kernel.Thread_safe_queue.t) Fieldslib.Field.t_with_perm ‑> t ‑> Incremental_kernel__.Internal_observer.Packed.t Core_kernel.Thread_safe_queue.t ‑> 'j) ‑> new_observers:(([< `Read | `Set_and_create ], t, Incremental_kernel__.Internal_observer.Packed.t Core_kernel.Stack.t) Fieldslib.Field.t_with_perm ‑> t ‑> Incremental_kernel__.Internal_observer.Packed.t Core_kernel.Stack.t ‑> 'k) ‑> disallowed_observers:(([< `Read | `Set_and_create ], t, Incremental_kernel__.Internal_observer.Packed.t Core_kernel.Stack.t) Fieldslib.Field.t_with_perm ‑> t ‑> Incremental_kernel__.Internal_observer.Packed.t Core_kernel.Stack.t ‑> 'l) ‑> set_during_stabilization:(([< `Read | `Set_and_create ], t, Incremental_kernel__.Var.Packed.t Core_kernel.Stack.t) Fieldslib.Field.t_with_perm ‑> t ‑> Incremental_kernel__.Var.Packed.t Core_kernel.Stack.t ‑> 'm) ‑> handle_after_stabilization:(([< `Read | `Set_and_create ], t, Incremental_kernel__.Node.Packed.t Core_kernel.Stack.t) Fieldslib.Field.t_with_perm ‑> t ‑> Incremental_kernel__.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) ‑> timing_wheel:(([< `Read | `Set_and_create ], t, Incremental_kernel__.Alarm_value.t Core_kernel.Timing_wheel_ns.t) Fieldslib.Field.t_with_perm ‑> t ‑> Incremental_kernel__.Alarm_value.t Core_kernel.Timing_wheel_ns.t ‑> 'p) ‑> now:(([< `Read | `Set_and_create ], t, Incremental_kernel__.Import.Time_ns.t Incremental_kernel__.Var.t) Fieldslib.Field.t_with_perm ‑> t ‑> Incremental_kernel__.Import.Time_ns.t Incremental_kernel__.Var.t ‑> 'q) ‑> handle_fired:(([< `Read | `Set_and_create ], t, Incremental_kernel__.Alarm.t ‑> unit) Fieldslib.Field.t_with_perm ‑> t ‑> (Incremental_kernel__.Alarm.t ‑> unit) ‑> 'r) ‑> fired_alarm_values:(([< `Read | `Set_and_create ], t, Incremental_kernel__.Alarm_value.t Incremental_kernel__.Uopt.t) Fieldslib.Field.t_with_perm ‑> t ‑> Incremental_kernel__.Alarm_value.t Incremental_kernel__.Uopt.t ‑> 's) ‑> only_in_debug:(([< `Read | `Set_and_create ], t, Only_in_debug.t) Fieldslib.Field.t_with_perm ‑> t ‑> Only_in_debug.t ‑> 't) ‑> num_nodes_became_necessary:(([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm ‑> t ‑> int ‑> 'u) ‑> num_nodes_became_unnecessary:(([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm ‑> t ‑> int ‑> 'v) ‑> num_nodes_changed:(([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm ‑> t ‑> int ‑> 'w) ‑> num_nodes_created:(([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm ‑> t ‑> int ‑> 'x) ‑> num_nodes_invalidated:(([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm ‑> t ‑> int ‑> 'y) ‑> num_nodes_recomputed:(([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm ‑> t ‑> int ‑> 'z) ‑> num_nodes_recomputed_directly_because_one_child:(([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm ‑> t ‑> int ‑> 'a1) ‑> num_nodes_recomputed_directly_because_min_height:(([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm ‑> t ‑> int ‑> 'b1) ‑> num_var_sets:(([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm ‑> t ‑> int ‑> 'c1) ‑> 'c1val 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_kernel__.Stabilization_num.t) Fieldslib.Field.t_with_perm ‑> t ‑> Incremental_kernel__.Stabilization_num.t ‑> 'd) ‑> current_scope:('d ‑> ([< `Read | `Set_and_create ], t, Incremental_kernel__.Scope.t) Fieldslib.Field.t_with_perm ‑> t ‑> Incremental_kernel__.Scope.t ‑> 'e) ‑> recompute_heap:('e ‑> ([< `Read | `Set_and_create ], t, Incremental_kernel__.Recompute_heap.t) Fieldslib.Field.t_with_perm ‑> t ‑> Incremental_kernel__.Recompute_heap.t ‑> 'f) ‑> adjust_heights_heap:('f ‑> ([< `Read | `Set_and_create ], t, Incremental_kernel__.Adjust_heights_heap.t) Fieldslib.Field.t_with_perm ‑> t ‑> Incremental_kernel__.Adjust_heights_heap.t ‑> 'g) ‑> propagate_invalidity:('g ‑> ([< `Read | `Set_and_create ], t, Incremental_kernel__.Node.Packed.t Core_kernel.Stack.t) Fieldslib.Field.t_with_perm ‑> t ‑> Incremental_kernel__.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_kernel__.Internal_observer.Packed.t Incremental_kernel__.Uopt.t) Fieldslib.Field.t_with_perm ‑> t ‑> Incremental_kernel__.Internal_observer.Packed.t Incremental_kernel__.Uopt.t ‑> 'j) ‑> finalized_observers:('j ‑> ([< `Read | `Set_and_create ], t, Incremental_kernel__.Internal_observer.Packed.t Core_kernel.Thread_safe_queue.t) Fieldslib.Field.t_with_perm ‑> t ‑> Incremental_kernel__.Internal_observer.Packed.t Core_kernel.Thread_safe_queue.t ‑> 'k) ‑> new_observers:('k ‑> ([< `Read | `Set_and_create ], t, Incremental_kernel__.Internal_observer.Packed.t Core_kernel.Stack.t) Fieldslib.Field.t_with_perm ‑> t ‑> Incremental_kernel__.Internal_observer.Packed.t Core_kernel.Stack.t ‑> 'l) ‑> disallowed_observers:('l ‑> ([< `Read | `Set_and_create ], t, Incremental_kernel__.Internal_observer.Packed.t Core_kernel.Stack.t) Fieldslib.Field.t_with_perm ‑> t ‑> Incremental_kernel__.Internal_observer.Packed.t Core_kernel.Stack.t ‑> 'm) ‑> set_during_stabilization:('m ‑> ([< `Read | `Set_and_create ], t, Incremental_kernel__.Var.Packed.t Core_kernel.Stack.t) Fieldslib.Field.t_with_perm ‑> t ‑> Incremental_kernel__.Var.Packed.t Core_kernel.Stack.t ‑> 'n) ‑> handle_after_stabilization:('n ‑> ([< `Read | `Set_and_create ], t, Incremental_kernel__.Node.Packed.t Core_kernel.Stack.t) Fieldslib.Field.t_with_perm ‑> t ‑> Incremental_kernel__.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) ‑> timing_wheel:('p ‑> ([< `Read | `Set_and_create ], t, Incremental_kernel__.Alarm_value.t Core_kernel.Timing_wheel_ns.t) Fieldslib.Field.t_with_perm ‑> t ‑> Incremental_kernel__.Alarm_value.t Core_kernel.Timing_wheel_ns.t ‑> 'q) ‑> now:('q ‑> ([< `Read | `Set_and_create ], t, Incremental_kernel__.Import.Time_ns.t Incremental_kernel__.Var.t) Fieldslib.Field.t_with_perm ‑> t ‑> Incremental_kernel__.Import.Time_ns.t Incremental_kernel__.Var.t ‑> 'r) ‑> handle_fired:('r ‑> ([< `Read | `Set_and_create ], t, Incremental_kernel__.Alarm.t ‑> unit) Fieldslib.Field.t_with_perm ‑> t ‑> (Incremental_kernel__.Alarm.t ‑> unit) ‑> 's) ‑> fired_alarm_values:('s ‑> ([< `Read | `Set_and_create ], t, Incremental_kernel__.Alarm_value.t Incremental_kernel__.Uopt.t) Fieldslib.Field.t_with_perm ‑> t ‑> Incremental_kernel__.Alarm_value.t Incremental_kernel__.Uopt.t ‑> 't) ‑> only_in_debug:('t ‑> ([< `Read | `Set_and_create ], t, Only_in_debug.t) Fieldslib.Field.t_with_perm ‑> t ‑> Only_in_debug.t ‑> 'u) ‑> num_nodes_became_necessary:('u ‑> ([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm ‑> t ‑> int ‑> 'v) ‑> num_nodes_became_unnecessary:('v ‑> ([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm ‑> t ‑> int ‑> 'w) ‑> num_nodes_changed:('w ‑> ([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm ‑> t ‑> int ‑> 'x) ‑> num_nodes_created:('x ‑> ([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm ‑> t ‑> int ‑> 'y) ‑> num_nodes_invalidated:('y ‑> ([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm ‑> t ‑> int ‑> 'z) ‑> num_nodes_recomputed:('z ‑> ([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm ‑> t ‑> int ‑> 'a1) ‑> num_nodes_recomputed_directly_because_one_child:('a1 ‑> ([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm ‑> t ‑> int ‑> 'b1) ‑> num_nodes_recomputed_directly_because_min_height:('b1 ‑> ([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm ‑> t ‑> int ‑> 'c1) ‑> num_var_sets:('c1 ‑> ([< `Read | `Set_and_create ], t, int) Fieldslib.Field.t_with_perm ‑> t ‑> int ‑> 'd1) ‑> 'd1val 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_kernel__.Stabilization_num.t) Fieldslib.Field.t_with_perm ‑> t ‑> Incremental_kernel__.Stabilization_num.t ‑> bool) ‑> current_scope:(([< `Read | `Set_and_create ], t, Incremental_kernel__.Scope.t) Fieldslib.Field.t_with_perm ‑> t ‑> Incremental_kernel__.Scope.t ‑> bool) ‑> recompute_heap:(([< `Read | `Set_and_create ], t, Incremental_kernel__.Recompute_heap.t) Fieldslib.Field.t_with_perm ‑> t ‑> Incremental_kernel__.Recompute_heap.t ‑> bool) ‑> adjust_heights_heap:(([< `Read | `Set_and_create ], t, Incremental_kernel__.Adjust_heights_heap.t) Fieldslib.Field.t_with_perm ‑> t ‑> Incremental_kernel__.Adjust_heights_heap.t ‑> bool) ‑> propagate_invalidity:(([< `Read | `Set_and_create ], t, Incremental_kernel__.Node.Packed.t Core_kernel.Stack.t) Fieldslib.Field.t_with_perm ‑> t ‑> Incremental_kernel__.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_kernel__.Internal_observer.Packed.t Incremental_kernel__.Uopt.t) Fieldslib.Field.t_with_perm ‑> t ‑> Incremental_kernel__.Internal_observer.Packed.t Incremental_kernel__.Uopt.t ‑> bool) ‑> finalized_observers:(([< `Read | `Set_and_create ], t, Incremental_kernel__.Internal_observer.Packed.t Core_kernel.Thread_safe_queue.t) Fieldslib.Field.t_with_perm ‑> t ‑> Incremental_kernel__.Internal_observer.Packed.t Core_kernel.Thread_safe_queue.t ‑> bool) ‑> new_observers:(([< `Read | `Set_and_create ], t, Incremental_kernel__.Internal_observer.Packed.t Core_kernel.Stack.t) Fieldslib.Field.t_with_perm ‑> t ‑> Incremental_kernel__.Internal_observer.Packed.t Core_kernel.Stack.t ‑> bool) ‑> disallowed_observers:(([< `Read | `Set_and_create ], t, Incremental_kernel__.Internal_observer.Packed.t Core_kernel.Stack.t) Fieldslib.Field.t_with_perm ‑> t ‑> Incremental_kernel__.Internal_observer.Packed.t Core_kernel.Stack.t ‑> bool) ‑> set_during_stabilization:(([< `Read | `Set_and_create ], t, Incremental_kernel__.Var.Packed.t Core_kernel.Stack.t) Fieldslib.Field.t_with_perm ‑> t ‑> Incremental_kernel__.Var.Packed.t Core_kernel.Stack.t ‑> bool) ‑> handle_after_stabilization:(([< `Read | `Set_and_create ], t, Incremental_kernel__.Node.Packed.t Core_kernel.Stack.t) Fieldslib.Field.t_with_perm ‑> t ‑> Incremental_kernel__.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) ‑> timing_wheel:(([< `Read | `Set_and_create ], t, Incremental_kernel__.Alarm_value.t Core_kernel.Timing_wheel_ns.t) Fieldslib.Field.t_with_perm ‑> t ‑> Incremental_kernel__.Alarm_value.t Core_kernel.Timing_wheel_ns.t ‑> bool) ‑> now:(([< `Read | `Set_and_create ], t, Incremental_kernel__.Import.Time_ns.t Incremental_kernel__.Var.t) Fieldslib.Field.t_with_perm ‑> t ‑> Incremental_kernel__.Import.Time_ns.t Incremental_kernel__.Var.t ‑> bool) ‑> handle_fired:(([< `Read | `Set_and_create ], t, Incremental_kernel__.Alarm.t ‑> unit) Fieldslib.Field.t_with_perm ‑> t ‑> (Incremental_kernel__.Alarm.t ‑> unit) ‑> bool) ‑> fired_alarm_values:(([< `Read | `Set_and_create ], t, Incremental_kernel__.Alarm_value.t Incremental_kernel__.Uopt.t) Fieldslib.Field.t_with_perm ‑> t ‑> Incremental_kernel__.Alarm_value.t Incremental_kernel__.Uopt.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) ‑> 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_kernel__.Stabilization_num.t) Fieldslib.Field.t_with_perm ‑> t ‑> Incremental_kernel__.Stabilization_num.t ‑> bool) ‑> current_scope:(([< `Read | `Set_and_create ], t, Incremental_kernel__.Scope.t) Fieldslib.Field.t_with_perm ‑> t ‑> Incremental_kernel__.Scope.t ‑> bool) ‑> recompute_heap:(([< `Read | `Set_and_create ], t, Incremental_kernel__.Recompute_heap.t) Fieldslib.Field.t_with_perm ‑> t ‑> Incremental_kernel__.Recompute_heap.t ‑> bool) ‑> adjust_heights_heap:(([< `Read | `Set_and_create ], t, Incremental_kernel__.Adjust_heights_heap.t) Fieldslib.Field.t_with_perm ‑> t ‑> Incremental_kernel__.Adjust_heights_heap.t ‑> bool) ‑> propagate_invalidity:(([< `Read | `Set_and_create ], t, Incremental_kernel__.Node.Packed.t Core_kernel.Stack.t) Fieldslib.Field.t_with_perm ‑> t ‑> Incremental_kernel__.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_kernel__.Internal_observer.Packed.t Incremental_kernel__.Uopt.t) Fieldslib.Field.t_with_perm ‑> t ‑> Incremental_kernel__.Internal_observer.Packed.t Incremental_kernel__.Uopt.t ‑> bool) ‑> finalized_observers:(([< `Read | `Set_and_create ], t, Incremental_kernel__.Internal_observer.Packed.t Core_kernel.Thread_safe_queue.t) Fieldslib.Field.t_with_perm ‑> t ‑> Incremental_kernel__.Internal_observer.Packed.t Core_kernel.Thread_safe_queue.t ‑> bool) ‑> new_observers:(([< `Read | `Set_and_create ], t, Incremental_kernel__.Internal_observer.Packed.t Core_kernel.Stack.t) Fieldslib.Field.t_with_perm ‑> t ‑> Incremental_kernel__.Internal_observer.Packed.t Core_kernel.Stack.t ‑> bool) ‑> disallowed_observers:(([< `Read | `Set_and_create ], t, Incremental_kernel__.Internal_observer.Packed.t Core_kernel.Stack.t) Fieldslib.Field.t_with_perm ‑> t ‑> Incremental_kernel__.Internal_observer.Packed.t Core_kernel.Stack.t ‑> bool) ‑> set_during_stabilization:(([< `Read | `Set_and_create ], t, Incremental_kernel__.Var.Packed.t Core_kernel.Stack.t) Fieldslib.Field.t_with_perm ‑> t ‑> Incremental_kernel__.Var.Packed.t Core_kernel.Stack.t ‑> bool) ‑> handle_after_stabilization:(([< `Read | `Set_and_create ], t, Incremental_kernel__.Node.Packed.t Core_kernel.Stack.t) Fieldslib.Field.t_with_perm ‑> t ‑> Incremental_kernel__.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) ‑> timing_wheel:(([< `Read | `Set_and_create ], t, Incremental_kernel__.Alarm_value.t Core_kernel.Timing_wheel_ns.t) Fieldslib.Field.t_with_perm ‑> t ‑> Incremental_kernel__.Alarm_value.t Core_kernel.Timing_wheel_ns.t ‑> bool) ‑> now:(([< `Read | `Set_and_create ], t, Incremental_kernel__.Import.Time_ns.t Incremental_kernel__.Var.t) Fieldslib.Field.t_with_perm ‑> t ‑> Incremental_kernel__.Import.Time_ns.t Incremental_kernel__.Var.t ‑> bool) ‑> handle_fired:(([< `Read | `Set_and_create ], t, Incremental_kernel__.Alarm.t ‑> unit) Fieldslib.Field.t_with_perm ‑> t ‑> (Incremental_kernel__.Alarm.t ‑> unit) ‑> bool) ‑> fired_alarm_values:(([< `Read | `Set_and_create ], t, Incremental_kernel__.Alarm_value.t Incremental_kernel__.Uopt.t) Fieldslib.Field.t_with_perm ‑> t ‑> Incremental_kernel__.Alarm_value.t Incremental_kernel__.Uopt.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) ‑> 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_kernel__.Stabilization_num.t) Fieldslib.Field.t_with_perm ‑> t ‑> Incremental_kernel__.Stabilization_num.t ‑> 'a) ‑> current_scope:(([< `Read | `Set_and_create ], t, Incremental_kernel__.Scope.t) Fieldslib.Field.t_with_perm ‑> t ‑> Incremental_kernel__.Scope.t ‑> 'a) ‑> recompute_heap:(([< `Read | `Set_and_create ], t, Incremental_kernel__.Recompute_heap.t) Fieldslib.Field.t_with_perm ‑> t ‑> Incremental_kernel__.Recompute_heap.t ‑> 'a) ‑> adjust_heights_heap:(([< `Read | `Set_and_create ], t, Incremental_kernel__.Adjust_heights_heap.t) Fieldslib.Field.t_with_perm ‑> t ‑> Incremental_kernel__.Adjust_heights_heap.t ‑> 'a) ‑> propagate_invalidity:(([< `Read | `Set_and_create ], t, Incremental_kernel__.Node.Packed.t Core_kernel.Stack.t) Fieldslib.Field.t_with_perm ‑> t ‑> Incremental_kernel__.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_kernel__.Internal_observer.Packed.t Incremental_kernel__.Uopt.t) Fieldslib.Field.t_with_perm ‑> t ‑> Incremental_kernel__.Internal_observer.Packed.t Incremental_kernel__.Uopt.t ‑> 'a) ‑> finalized_observers:(([< `Read | `Set_and_create ], t, Incremental_kernel__.Internal_observer.Packed.t Core_kernel.Thread_safe_queue.t) Fieldslib.Field.t_with_perm ‑> t ‑> Incremental_kernel__.Internal_observer.Packed.t Core_kernel.Thread_safe_queue.t ‑> 'a) ‑> new_observers:(([< `Read | `Set_and_create ], t, Incremental_kernel__.Internal_observer.Packed.t Core_kernel.Stack.t) Fieldslib.Field.t_with_perm ‑> t ‑> Incremental_kernel__.Internal_observer.Packed.t Core_kernel.Stack.t ‑> 'a) ‑> disallowed_observers:(([< `Read | `Set_and_create ], t, Incremental_kernel__.Internal_observer.Packed.t Core_kernel.Stack.t) Fieldslib.Field.t_with_perm ‑> t ‑> Incremental_kernel__.Internal_observer.Packed.t Core_kernel.Stack.t ‑> 'a) ‑> set_during_stabilization:(([< `Read | `Set_and_create ], t, Incremental_kernel__.Var.Packed.t Core_kernel.Stack.t) Fieldslib.Field.t_with_perm ‑> t ‑> Incremental_kernel__.Var.Packed.t Core_kernel.Stack.t ‑> 'a) ‑> handle_after_stabilization:(([< `Read | `Set_and_create ], t, Incremental_kernel__.Node.Packed.t Core_kernel.Stack.t) Fieldslib.Field.t_with_perm ‑> t ‑> Incremental_kernel__.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) ‑> timing_wheel:(([< `Read | `Set_and_create ], t, Incremental_kernel__.Alarm_value.t Core_kernel.Timing_wheel_ns.t) Fieldslib.Field.t_with_perm ‑> t ‑> Incremental_kernel__.Alarm_value.t Core_kernel.Timing_wheel_ns.t ‑> 'a) ‑> now:(([< `Read | `Set_and_create ], t, Incremental_kernel__.Import.Time_ns.t Incremental_kernel__.Var.t) Fieldslib.Field.t_with_perm ‑> t ‑> Incremental_kernel__.Import.Time_ns.t Incremental_kernel__.Var.t ‑> 'a) ‑> handle_fired:(([< `Read | `Set_and_create ], t, Incremental_kernel__.Alarm.t ‑> unit) Fieldslib.Field.t_with_perm ‑> t ‑> (Incremental_kernel__.Alarm.t ‑> unit) ‑> 'a) ‑> fired_alarm_values:(([< `Read | `Set_and_create ], t, Incremental_kernel__.Alarm_value.t Incremental_kernel__.Uopt.t) Fieldslib.Field.t_with_perm ‑> t ‑> Incremental_kernel__.Alarm_value.t Incremental_kernel__.Uopt.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) ‑> 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_kernel__.Stabilization_num.t) Fieldslib.Field.t_with_perm ‑> t ‑> Incremental_kernel__.Stabilization_num.t ‑> Incremental_kernel__.Stabilization_num.t) ‑> current_scope:(([< `Read | `Set_and_create ], t, Incremental_kernel__.Scope.t) Fieldslib.Field.t_with_perm ‑> t ‑> Incremental_kernel__.Scope.t ‑> Incremental_kernel__.Scope.t) ‑> recompute_heap:(([< `Read | `Set_and_create ], t, Incremental_kernel__.Recompute_heap.t) Fieldslib.Field.t_with_perm ‑> t ‑> Incremental_kernel__.Recompute_heap.t ‑> Incremental_kernel__.Recompute_heap.t) ‑> adjust_heights_heap:(([< `Read | `Set_and_create ], t, Incremental_kernel__.Adjust_heights_heap.t) Fieldslib.Field.t_with_perm ‑> t ‑> Incremental_kernel__.Adjust_heights_heap.t ‑> Incremental_kernel__.Adjust_heights_heap.t) ‑> propagate_invalidity:(([< `Read | `Set_and_create ], t, Incremental_kernel__.Node.Packed.t Core_kernel.Stack.t) Fieldslib.Field.t_with_perm ‑> t ‑> Incremental_kernel__.Node.Packed.t Core_kernel.Stack.t ‑> Incremental_kernel__.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_kernel__.Internal_observer.Packed.t Incremental_kernel__.Uopt.t) Fieldslib.Field.t_with_perm ‑> t ‑> Incremental_kernel__.Internal_observer.Packed.t Incremental_kernel__.Uopt.t ‑> Incremental_kernel__.Internal_observer.Packed.t Incremental_kernel__.Uopt.t) ‑> finalized_observers:(([< `Read | `Set_and_create ], t, Incremental_kernel__.Internal_observer.Packed.t Core_kernel.Thread_safe_queue.t) Fieldslib.Field.t_with_perm ‑> t ‑> Incremental_kernel__.Internal_observer.Packed.t Core_kernel.Thread_safe_queue.t ‑> Incremental_kernel__.Internal_observer.Packed.t Core_kernel.Thread_safe_queue.t) ‑> new_observers:(([< `Read | `Set_and_create ], t, Incremental_kernel__.Internal_observer.Packed.t Core_kernel.Stack.t) Fieldslib.Field.t_with_perm ‑> t ‑> Incremental_kernel__.Internal_observer.Packed.t Core_kernel.Stack.t ‑> Incremental_kernel__.Internal_observer.Packed.t Core_kernel.Stack.t) ‑> disallowed_observers:(([< `Read | `Set_and_create ], t, Incremental_kernel__.Internal_observer.Packed.t Core_kernel.Stack.t) Fieldslib.Field.t_with_perm ‑> t ‑> Incremental_kernel__.Internal_observer.Packed.t Core_kernel.Stack.t ‑> Incremental_kernel__.Internal_observer.Packed.t Core_kernel.Stack.t) ‑> set_during_stabilization:(([< `Read | `Set_and_create ], t, Incremental_kernel__.Var.Packed.t Core_kernel.Stack.t) Fieldslib.Field.t_with_perm ‑> t ‑> Incremental_kernel__.Var.Packed.t Core_kernel.Stack.t ‑> Incremental_kernel__.Var.Packed.t Core_kernel.Stack.t) ‑> handle_after_stabilization:(([< `Read | `Set_and_create ], t, Incremental_kernel__.Node.Packed.t Core_kernel.Stack.t) Fieldslib.Field.t_with_perm ‑> t ‑> Incremental_kernel__.Node.Packed.t Core_kernel.Stack.t ‑> Incremental_kernel__.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) ‑> timing_wheel:(([< `Read | `Set_and_create ], t, Incremental_kernel__.Alarm_value.t Core_kernel.Timing_wheel_ns.t) Fieldslib.Field.t_with_perm ‑> t ‑> Incremental_kernel__.Alarm_value.t Core_kernel.Timing_wheel_ns.t ‑> Incremental_kernel__.Alarm_value.t Core_kernel.Timing_wheel_ns.t) ‑> now:(([< `Read | `Set_and_create ], t, Incremental_kernel__.Import.Time_ns.t Incremental_kernel__.Var.t) Fieldslib.Field.t_with_perm ‑> t ‑> Incremental_kernel__.Import.Time_ns.t Incremental_kernel__.Var.t ‑> Incremental_kernel__.Import.Time_ns.t Incremental_kernel__.Var.t) ‑> handle_fired:(([< `Read | `Set_and_create ], t, Incremental_kernel__.Alarm.t ‑> unit) Fieldslib.Field.t_with_perm ‑> t ‑> (Incremental_kernel__.Alarm.t ‑> unit) ‑> Incremental_kernel__.Alarm.t ‑> unit) ‑> fired_alarm_values:(([< `Read | `Set_and_create ], t, Incremental_kernel__.Alarm_value.t Incremental_kernel__.Uopt.t) Fieldslib.Field.t_with_perm ‑> t ‑> Incremental_kernel__.Alarm_value.t Incremental_kernel__.Uopt.t ‑> Incremental_kernel__.Alarm_value.t Incremental_kernel__.Uopt.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) ‑> 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) ‑> t