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