Module Direct

val iter : t -> status:(([< ], t, status) Fieldslib.Field.t_with_perm -> t -> status -> unit) -> bind_lhs_change_should_invalidate_rhs:(([< ], t, bool) Fieldslib.Field.t_with_perm -> t -> bool -> unit) -> stabilization_num:(([< ], t, Stabilization_num.t) Fieldslib.Field.t_with_perm -> t -> Stabilization_num.t -> unit) -> current_scope:(([< ], t, Scope.t) Fieldslib.Field.t_with_perm -> t -> Scope.t -> unit) -> recompute_heap:(([< ], t, Recompute_heap.t) Fieldslib.Field.t_with_perm -> t -> Recompute_heap.t -> unit) -> adjust_heights_heap:(([< ], t, Adjust_heights_heap.t) Fieldslib.Field.t_with_perm -> t -> Adjust_heights_heap.t -> unit) -> propagate_invalidity:(([< ], t, Node.Packed.t Core_kernel.Std.Stack.t) Fieldslib.Field.t_with_perm -> t -> Node.Packed.t Core_kernel.Std.Stack.t -> unit) -> num_active_observers:(([< ], t, int) Fieldslib.Field.t_with_perm -> t -> int -> unit) -> all_observers:(([< ], t, Internal_observer.Packed.t Uopt.t) Fieldslib.Field.t_with_perm -> t -> Internal_observer.Packed.t Uopt.t -> unit) -> finalized_observers:(([< ], t, Internal_observer.Packed.t Core_kernel.Std.Thread_safe_queue.t) Fieldslib.Field.t_with_perm -> t -> Internal_observer.Packed.t Core_kernel.Std.Thread_safe_queue.t -> unit) -> new_observers:(([< ], t, Internal_observer.Packed.t Core_kernel.Std.Stack.t) Fieldslib.Field.t_with_perm -> t -> Internal_observer.Packed.t Core_kernel.Std.Stack.t -> unit) -> disallowed_observers:(([< ], t, Internal_observer.Packed.t Core_kernel.Std.Stack.t) Fieldslib.Field.t_with_perm -> t -> Internal_observer.Packed.t Core_kernel.Std.Stack.t -> unit) -> set_during_stabilization:(([< ], t, Var.Packed.t Core_kernel.Std.Stack.t) Fieldslib.Field.t_with_perm -> t -> Var.Packed.t Core_kernel.Std.Stack.t -> unit) -> handle_after_stabilization:(([< ], t, Node.Packed.t Core_kernel.Std.Stack.t) Fieldslib.Field.t_with_perm -> t -> Node.Packed.t Core_kernel.Std.Stack.t -> unit) -> run_on_update_handlers:(([< ], t, Run_on_update_handlers.t Core_kernel.Std.Stack.t) Fieldslib.Field.t_with_perm -> t -> Run_on_update_handlers.t Core_kernel.Std.Stack.t -> unit) -> timing_wheel:(([< ], t, Alarm_value.t Core_kernel.Std.Timing_wheel_ns.t) Fieldslib.Field.t_with_perm -> t -> Alarm_value.t Core_kernel.Std.Timing_wheel_ns.t -> unit) -> now:(([< ], t, Import.Time_ns.t Var.t) Fieldslib.Field.t_with_perm -> t -> Import.Time_ns.t Var.t -> unit) -> handle_fired:(([< ], t, Alarm.t -> unit) Fieldslib.Field.t_with_perm -> t -> (Alarm.t -> unit) -> unit) -> fired_alarm_values:(([< ], t, Alarm_value.t Uopt.t) Fieldslib.Field.t_with_perm -> t -> Alarm_value.t Uopt.t -> unit) -> num_nodes_became_necessary:(([< ], t, int) Fieldslib.Field.t_with_perm -> t -> int -> unit) -> num_nodes_became_unnecessary:(([< ], t, int) Fieldslib.Field.t_with_perm -> t -> int -> unit) -> num_nodes_changed:(([< ], t, int) Fieldslib.Field.t_with_perm -> t -> int -> unit) -> num_nodes_created:(([< ], t, int) Fieldslib.Field.t_with_perm -> t -> int -> unit) -> num_nodes_invalidated:(([< ], t, int) Fieldslib.Field.t_with_perm -> t -> int -> unit) -> num_nodes_recomputed:(([< ], t, int) Fieldslib.Field.t_with_perm -> t -> int -> unit) -> num_nodes_recomputed_directly_because_one_child:(([< ], t, int) Fieldslib.Field.t_with_perm -> t -> int -> unit) -> num_nodes_recomputed_directly_because_min_height:(([< ], t, int) Fieldslib.Field.t_with_perm -> t -> int -> unit) -> num_var_sets:(([< ], t, int) Fieldslib.Field.t_with_perm -> t -> int -> 'a) -> 'a

val fold : t -> init:'a -> status:('a -> ([< ], t, status) Fieldslib.Field.t_with_perm -> t -> status -> 'b) -> bind_lhs_change_should_invalidate_rhs:('b -> ([< ], t, bool) Fieldslib.Field.t_with_perm -> t -> bool -> 'c) -> stabilization_num:('c -> ([< ], t, Stabilization_num.t) Fieldslib.Field.t_with_perm -> t -> Stabilization_num.t -> 'd) -> current_scope:('d -> ([< ], t, Scope.t) Fieldslib.Field.t_with_perm -> t -> Scope.t -> 'e) -> recompute_heap:('e -> ([< ], t, Recompute_heap.t) Fieldslib.Field.t_with_perm -> t -> Recompute_heap.t -> 'f) -> adjust_heights_heap:('f -> ([< ], t, Adjust_heights_heap.t) Fieldslib.Field.t_with_perm -> t -> Adjust_heights_heap.t -> 'g) -> propagate_invalidity:('g -> ([< ], t, Node.Packed.t Core_kernel.Std.Stack.t) Fieldslib.Field.t_with_perm -> t -> Node.Packed.t Core_kernel.Std.Stack.t -> 'h) -> num_active_observers:('h -> ([< ], t, int) Fieldslib.Field.t_with_perm -> t -> int -> 'i) -> all_observers:('i -> ([< ], t, Internal_observer.Packed.t Uopt.t) Fieldslib.Field.t_with_perm -> t -> Internal_observer.Packed.t Uopt.t -> 'j) -> finalized_observers:('j -> ([< ], t, Internal_observer.Packed.t Core_kernel.Std.Thread_safe_queue.t) Fieldslib.Field.t_with_perm -> t -> Internal_observer.Packed.t Core_kernel.Std.Thread_safe_queue.t -> 'k) -> new_observers:('k -> ([< ], t, Internal_observer.Packed.t Core_kernel.Std.Stack.t) Fieldslib.Field.t_with_perm -> t -> Internal_observer.Packed.t Core_kernel.Std.Stack.t -> 'l) -> disallowed_observers:('l -> ([< ], t, Internal_observer.Packed.t Core_kernel.Std.Stack.t) Fieldslib.Field.t_with_perm -> t -> Internal_observer.Packed.t Core_kernel.Std.Stack.t -> 'm) -> set_during_stabilization:('m -> ([< ], t, Var.Packed.t Core_kernel.Std.Stack.t) Fieldslib.Field.t_with_perm -> t -> Var.Packed.t Core_kernel.Std.Stack.t -> 'n) -> handle_after_stabilization:('n -> ([< ], t, Node.Packed.t Core_kernel.Std.Stack.t) Fieldslib.Field.t_with_perm -> t -> Node.Packed.t Core_kernel.Std.Stack.t -> 'o) -> run_on_update_handlers:('o -> ([< ], t, Run_on_update_handlers.t Core_kernel.Std.Stack.t) Fieldslib.Field.t_with_perm -> t -> Run_on_update_handlers.t Core_kernel.Std.Stack.t -> 'p) -> timing_wheel:('p -> ([< ], t, Alarm_value.t Core_kernel.Std.Timing_wheel_ns.t) Fieldslib.Field.t_with_perm -> t -> Alarm_value.t Core_kernel.Std.Timing_wheel_ns.t -> 'q) -> now:('q -> ([< ], t, Import.Time_ns.t Var.t) Fieldslib.Field.t_with_perm -> t -> Import.Time_ns.t Var.t -> 'r) -> handle_fired:('r -> ([< ], t, Alarm.t -> unit) Fieldslib.Field.t_with_perm -> t -> (Alarm.t -> unit) -> 's) -> fired_alarm_values:('s -> ([< ], t, Alarm_value.t Uopt.t) Fieldslib.Field.t_with_perm -> t -> Alarm_value.t Uopt.t -> 't) -> num_nodes_became_necessary:('t -> ([< ], t, int) Fieldslib.Field.t_with_perm -> t -> int -> 'u) -> num_nodes_became_unnecessary:('u -> ([< ], t, int) Fieldslib.Field.t_with_perm -> t -> int -> 'v) -> num_nodes_changed:('v -> ([< ], t, int) Fieldslib.Field.t_with_perm -> t -> int -> 'w) -> num_nodes_created:('w -> ([< ], t, int) Fieldslib.Field.t_with_perm -> t -> int -> 'x) -> num_nodes_invalidated:('x -> ([< ], t, int) Fieldslib.Field.t_with_perm -> t -> int -> 'y) -> num_nodes_recomputed:('y -> ([< ], t, int) Fieldslib.Field.t_with_perm -> t -> int -> 'z) -> num_nodes_recomputed_directly_because_one_child:('z -> ([< ], t, int) Fieldslib.Field.t_with_perm -> t -> int -> 'a1) -> num_nodes_recomputed_directly_because_min_height:('a1 -> ([< ], t, int) Fieldslib.Field.t_with_perm -> t -> int -> 'b1) -> num_var_sets:('b1 -> ([< ], t, int) Fieldslib.Field.t_with_perm -> t -> int -> 'c1) -> 'c1

val for_all : t -> status:(([< ], t, status) Fieldslib.Field.t_with_perm -> t -> status -> bool) -> bind_lhs_change_should_invalidate_rhs:(([< ], t, bool) Fieldslib.Field.t_with_perm -> t -> bool -> bool) -> stabilization_num:(([< ], t, Stabilization_num.t) Fieldslib.Field.t_with_perm -> t -> Stabilization_num.t -> bool) -> current_scope:(([< ], t, Scope.t) Fieldslib.Field.t_with_perm -> t -> Scope.t -> bool) -> recompute_heap:(([< ], t, Recompute_heap.t) Fieldslib.Field.t_with_perm -> t -> Recompute_heap.t -> bool) -> adjust_heights_heap:(([< ], t, Adjust_heights_heap.t) Fieldslib.Field.t_with_perm -> t -> Adjust_heights_heap.t -> bool) -> propagate_invalidity:(([< ], t, Node.Packed.t Core_kernel.Std.Stack.t) Fieldslib.Field.t_with_perm -> t -> Node.Packed.t Core_kernel.Std.Stack.t -> bool) -> num_active_observers:(([< ], t, int) Fieldslib.Field.t_with_perm -> t -> int -> bool) -> all_observers:(([< ], t, Internal_observer.Packed.t Uopt.t) Fieldslib.Field.t_with_perm -> t -> Internal_observer.Packed.t Uopt.t -> bool) -> finalized_observers:(([< ], t, Internal_observer.Packed.t Core_kernel.Std.Thread_safe_queue.t) Fieldslib.Field.t_with_perm -> t -> Internal_observer.Packed.t Core_kernel.Std.Thread_safe_queue.t -> bool) -> new_observers:(([< ], t, Internal_observer.Packed.t Core_kernel.Std.Stack.t) Fieldslib.Field.t_with_perm -> t -> Internal_observer.Packed.t Core_kernel.Std.Stack.t -> bool) -> disallowed_observers:(([< ], t, Internal_observer.Packed.t Core_kernel.Std.Stack.t) Fieldslib.Field.t_with_perm -> t -> Internal_observer.Packed.t Core_kernel.Std.Stack.t -> bool) -> set_during_stabilization:(([< ], t, Var.Packed.t Core_kernel.Std.Stack.t) Fieldslib.Field.t_with_perm -> t -> Var.Packed.t Core_kernel.Std.Stack.t -> bool) -> handle_after_stabilization:(([< ], t, Node.Packed.t Core_kernel.Std.Stack.t) Fieldslib.Field.t_with_perm -> t -> Node.Packed.t Core_kernel.Std.Stack.t -> bool) -> run_on_update_handlers:(([< ], t, Run_on_update_handlers.t Core_kernel.Std.Stack.t) Fieldslib.Field.t_with_perm -> t -> Run_on_update_handlers.t Core_kernel.Std.Stack.t -> bool) -> timing_wheel:(([< ], t, Alarm_value.t Core_kernel.Std.Timing_wheel_ns.t) Fieldslib.Field.t_with_perm -> t -> Alarm_value.t Core_kernel.Std.Timing_wheel_ns.t -> bool) -> now:(([< ], t, Import.Time_ns.t Var.t) Fieldslib.Field.t_with_perm -> t -> Import.Time_ns.t Var.t -> bool) -> handle_fired:(([< ], t, Alarm.t -> unit) Fieldslib.Field.t_with_perm -> t -> (Alarm.t -> unit) -> bool) -> fired_alarm_values:(([< ], t, Alarm_value.t Uopt.t) Fieldslib.Field.t_with_perm -> t -> Alarm_value.t Uopt.t -> bool) -> num_nodes_became_necessary:(([< ], t, int) Fieldslib.Field.t_with_perm -> t -> int -> bool) -> num_nodes_became_unnecessary:(([< ], t, int) Fieldslib.Field.t_with_perm -> t -> int -> bool) -> num_nodes_changed:(([< ], t, int) Fieldslib.Field.t_with_perm -> t -> int -> bool) -> num_nodes_created:(([< ], t, int) Fieldslib.Field.t_with_perm -> t -> int -> bool) -> num_nodes_invalidated:(([< ], t, int) Fieldslib.Field.t_with_perm -> t -> int -> bool) -> num_nodes_recomputed:(([< ], t, int) Fieldslib.Field.t_with_perm -> t -> int -> bool) -> num_nodes_recomputed_directly_because_one_child:(([< ], t, int) Fieldslib.Field.t_with_perm -> t -> int -> bool) -> num_nodes_recomputed_directly_because_min_height:(([< ], t, int) Fieldslib.Field.t_with_perm -> t -> int -> bool) -> num_var_sets:(([< ], t, int) Fieldslib.Field.t_with_perm -> t -> int -> bool) -> bool

val exists : t -> status:(([< ], t, status) Fieldslib.Field.t_with_perm -> t -> status -> bool) -> bind_lhs_change_should_invalidate_rhs:(([< ], t, bool) Fieldslib.Field.t_with_perm -> t -> bool -> bool) -> stabilization_num:(([< ], t, Stabilization_num.t) Fieldslib.Field.t_with_perm -> t -> Stabilization_num.t -> bool) -> current_scope:(([< ], t, Scope.t) Fieldslib.Field.t_with_perm -> t -> Scope.t -> bool) -> recompute_heap:(([< ], t, Recompute_heap.t) Fieldslib.Field.t_with_perm -> t -> Recompute_heap.t -> bool) -> adjust_heights_heap:(([< ], t, Adjust_heights_heap.t) Fieldslib.Field.t_with_perm -> t -> Adjust_heights_heap.t -> bool) -> propagate_invalidity:(([< ], t, Node.Packed.t Core_kernel.Std.Stack.t) Fieldslib.Field.t_with_perm -> t -> Node.Packed.t Core_kernel.Std.Stack.t -> bool) -> num_active_observers:(([< ], t, int) Fieldslib.Field.t_with_perm -> t -> int -> bool) -> all_observers:(([< ], t, Internal_observer.Packed.t Uopt.t) Fieldslib.Field.t_with_perm -> t -> Internal_observer.Packed.t Uopt.t -> bool) -> finalized_observers:(([< ], t, Internal_observer.Packed.t Core_kernel.Std.Thread_safe_queue.t) Fieldslib.Field.t_with_perm -> t -> Internal_observer.Packed.t Core_kernel.Std.Thread_safe_queue.t -> bool) -> new_observers:(([< ], t, Internal_observer.Packed.t Core_kernel.Std.Stack.t) Fieldslib.Field.t_with_perm -> t -> Internal_observer.Packed.t Core_kernel.Std.Stack.t -> bool) -> disallowed_observers:(([< ], t, Internal_observer.Packed.t Core_kernel.Std.Stack.t) Fieldslib.Field.t_with_perm -> t -> Internal_observer.Packed.t Core_kernel.Std.Stack.t -> bool) -> set_during_stabilization:(([< ], t, Var.Packed.t Core_kernel.Std.Stack.t) Fieldslib.Field.t_with_perm -> t -> Var.Packed.t Core_kernel.Std.Stack.t -> bool) -> handle_after_stabilization:(([< ], t, Node.Packed.t Core_kernel.Std.Stack.t) Fieldslib.Field.t_with_perm -> t -> Node.Packed.t Core_kernel.Std.Stack.t -> bool) -> run_on_update_handlers:(([< ], t, Run_on_update_handlers.t Core_kernel.Std.Stack.t) Fieldslib.Field.t_with_perm -> t -> Run_on_update_handlers.t Core_kernel.Std.Stack.t -> bool) -> timing_wheel:(([< ], t, Alarm_value.t Core_kernel.Std.Timing_wheel_ns.t) Fieldslib.Field.t_with_perm -> t -> Alarm_value.t Core_kernel.Std.Timing_wheel_ns.t -> bool) -> now:(([< ], t, Import.Time_ns.t Var.t) Fieldslib.Field.t_with_perm -> t -> Import.Time_ns.t Var.t -> bool) -> handle_fired:(([< ], t, Alarm.t -> unit) Fieldslib.Field.t_with_perm -> t -> (Alarm.t -> unit) -> bool) -> fired_alarm_values:(([< ], t, Alarm_value.t Uopt.t) Fieldslib.Field.t_with_perm -> t -> Alarm_value.t Uopt.t -> bool) -> num_nodes_became_necessary:(([< ], t, int) Fieldslib.Field.t_with_perm -> t -> int -> bool) -> num_nodes_became_unnecessary:(([< ], t, int) Fieldslib.Field.t_with_perm -> t -> int -> bool) -> num_nodes_changed:(([< ], t, int) Fieldslib.Field.t_with_perm -> t -> int -> bool) -> num_nodes_created:(([< ], t, int) Fieldslib.Field.t_with_perm -> t -> int -> bool) -> num_nodes_invalidated:(([< ], t, int) Fieldslib.Field.t_with_perm -> t -> int -> bool) -> num_nodes_recomputed:(([< ], t, int) Fieldslib.Field.t_with_perm -> t -> int -> bool) -> num_nodes_recomputed_directly_because_one_child:(([< ], t, int) Fieldslib.Field.t_with_perm -> t -> int -> bool) -> num_nodes_recomputed_directly_because_min_height:(([< ], t, int) Fieldslib.Field.t_with_perm -> t -> int -> bool) -> num_var_sets:(([< ], t, int) Fieldslib.Field.t_with_perm -> t -> int -> bool) -> bool

val to_list : t -> status:(([< ], t, status) Fieldslib.Field.t_with_perm -> t -> status -> 'a) -> bind_lhs_change_should_invalidate_rhs:(([< ], t, bool) Fieldslib.Field.t_with_perm -> t -> bool -> 'a) -> stabilization_num:(([< ], t, Stabilization_num.t) Fieldslib.Field.t_with_perm -> t -> Stabilization_num.t -> 'a) -> current_scope:(([< ], t, Scope.t) Fieldslib.Field.t_with_perm -> t -> Scope.t -> 'a) -> recompute_heap:(([< ], t, Recompute_heap.t) Fieldslib.Field.t_with_perm -> t -> Recompute_heap.t -> 'a) -> adjust_heights_heap:(([< ], t, Adjust_heights_heap.t) Fieldslib.Field.t_with_perm -> t -> Adjust_heights_heap.t -> 'a) -> propagate_invalidity:(([< ], t, Node.Packed.t Core_kernel.Std.Stack.t) Fieldslib.Field.t_with_perm -> t -> Node.Packed.t Core_kernel.Std.Stack.t -> 'a) -> num_active_observers:(([< ], t, int) Fieldslib.Field.t_with_perm -> t -> int -> 'a) -> all_observers:(([< ], t, Internal_observer.Packed.t Uopt.t) Fieldslib.Field.t_with_perm -> t -> Internal_observer.Packed.t Uopt.t -> 'a) -> finalized_observers:(([< ], t, Internal_observer.Packed.t Core_kernel.Std.Thread_safe_queue.t) Fieldslib.Field.t_with_perm -> t -> Internal_observer.Packed.t Core_kernel.Std.Thread_safe_queue.t -> 'a) -> new_observers:(([< ], t, Internal_observer.Packed.t Core_kernel.Std.Stack.t) Fieldslib.Field.t_with_perm -> t -> Internal_observer.Packed.t Core_kernel.Std.Stack.t -> 'a) -> disallowed_observers:(([< ], t, Internal_observer.Packed.t Core_kernel.Std.Stack.t) Fieldslib.Field.t_with_perm -> t -> Internal_observer.Packed.t Core_kernel.Std.Stack.t -> 'a) -> set_during_stabilization:(([< ], t, Var.Packed.t Core_kernel.Std.Stack.t) Fieldslib.Field.t_with_perm -> t -> Var.Packed.t Core_kernel.Std.Stack.t -> 'a) -> handle_after_stabilization:(([< ], t, Node.Packed.t Core_kernel.Std.Stack.t) Fieldslib.Field.t_with_perm -> t -> Node.Packed.t Core_kernel.Std.Stack.t -> 'a) -> run_on_update_handlers:(([< ], t, Run_on_update_handlers.t Core_kernel.Std.Stack.t) Fieldslib.Field.t_with_perm -> t -> Run_on_update_handlers.t Core_kernel.Std.Stack.t -> 'a) -> timing_wheel:(([< ], t, Alarm_value.t Core_kernel.Std.Timing_wheel_ns.t) Fieldslib.Field.t_with_perm -> t -> Alarm_value.t Core_kernel.Std.Timing_wheel_ns.t -> 'a) -> now:(([< ], t, Import.Time_ns.t Var.t) Fieldslib.Field.t_with_perm -> t -> Import.Time_ns.t Var.t -> 'a) -> handle_fired:(([< ], t, Alarm.t -> unit) Fieldslib.Field.t_with_perm -> t -> (Alarm.t -> unit) -> 'a) -> fired_alarm_values:(([< ], t, Alarm_value.t Uopt.t) Fieldslib.Field.t_with_perm -> t -> Alarm_value.t Uopt.t -> 'a) -> num_nodes_became_necessary:(([< ], t, int) Fieldslib.Field.t_with_perm -> t -> int -> 'a) -> num_nodes_became_unnecessary:(([< ], t, int) Fieldslib.Field.t_with_perm -> t -> int -> 'a) -> num_nodes_changed:(([< ], t, int) Fieldslib.Field.t_with_perm -> t -> int -> 'a) -> num_nodes_created:(([< ], t, int) Fieldslib.Field.t_with_perm -> t -> int -> 'a) -> num_nodes_invalidated:(([< ], t, int) Fieldslib.Field.t_with_perm -> t -> int -> 'a) -> num_nodes_recomputed:(([< ], t, int) Fieldslib.Field.t_with_perm -> t -> int -> 'a) -> num_nodes_recomputed_directly_because_one_child:(([< ], t, int) Fieldslib.Field.t_with_perm -> t -> int -> 'a) -> num_nodes_recomputed_directly_because_min_height:(([< ], t, int) Fieldslib.Field.t_with_perm -> t -> int -> 'a) -> num_var_sets:(([< ], t, int) Fieldslib.Field.t_with_perm -> t -> int -> 'a) -> 'a list

val map : t -> status:(([< ], t, status) Fieldslib.Field.t_with_perm -> t -> status -> status) -> bind_lhs_change_should_invalidate_rhs:(([< ], t, bool) Fieldslib.Field.t_with_perm -> t -> bool -> bool) -> stabilization_num:(([< ], t, Stabilization_num.t) Fieldslib.Field.t_with_perm -> t -> Stabilization_num.t -> Stabilization_num.t) -> current_scope:(([< ], t, Scope.t) Fieldslib.Field.t_with_perm -> t -> Scope.t -> Scope.t) -> recompute_heap:(([< ], t, Recompute_heap.t) Fieldslib.Field.t_with_perm -> t -> Recompute_heap.t -> Recompute_heap.t) -> adjust_heights_heap:(([< ], t, Adjust_heights_heap.t) Fieldslib.Field.t_with_perm -> t -> Adjust_heights_heap.t -> Adjust_heights_heap.t) -> propagate_invalidity:(([< ], t, Node.Packed.t Core_kernel.Std.Stack.t) Fieldslib.Field.t_with_perm -> t -> Node.Packed.t Core_kernel.Std.Stack.t -> Node.Packed.t Core_kernel.Std.Stack.t) -> num_active_observers:(([< ], t, int) Fieldslib.Field.t_with_perm -> t -> int -> int) -> all_observers:(([< ], t, Internal_observer.Packed.t Uopt.t) Fieldslib.Field.t_with_perm -> t -> Internal_observer.Packed.t Uopt.t -> Internal_observer.Packed.t Uopt.t) -> finalized_observers:(([< ], t, Internal_observer.Packed.t Core_kernel.Std.Thread_safe_queue.t) Fieldslib.Field.t_with_perm -> t -> Internal_observer.Packed.t Core_kernel.Std.Thread_safe_queue.t -> Internal_observer.Packed.t Core_kernel.Std.Thread_safe_queue.t) -> new_observers:(([< ], t, Internal_observer.Packed.t Core_kernel.Std.Stack.t) Fieldslib.Field.t_with_perm -> t -> Internal_observer.Packed.t Core_kernel.Std.Stack.t -> Internal_observer.Packed.t Core_kernel.Std.Stack.t) -> disallowed_observers:(([< ], t, Internal_observer.Packed.t Core_kernel.Std.Stack.t) Fieldslib.Field.t_with_perm -> t -> Internal_observer.Packed.t Core_kernel.Std.Stack.t -> Internal_observer.Packed.t Core_kernel.Std.Stack.t) -> set_during_stabilization:(([< ], t, Var.Packed.t Core_kernel.Std.Stack.t) Fieldslib.Field.t_with_perm -> t -> Var.Packed.t Core_kernel.Std.Stack.t -> Var.Packed.t Core_kernel.Std.Stack.t) -> handle_after_stabilization:(([< ], t, Node.Packed.t Core_kernel.Std.Stack.t) Fieldslib.Field.t_with_perm -> t -> Node.Packed.t Core_kernel.Std.Stack.t -> Node.Packed.t Core_kernel.Std.Stack.t) -> run_on_update_handlers:(([< ], t, Run_on_update_handlers.t Core_kernel.Std.Stack.t) Fieldslib.Field.t_with_perm -> t -> Run_on_update_handlers.t Core_kernel.Std.Stack.t -> Run_on_update_handlers.t Core_kernel.Std.Stack.t) -> timing_wheel:(([< ], t, Alarm_value.t Core_kernel.Std.Timing_wheel_ns.t) Fieldslib.Field.t_with_perm -> t -> Alarm_value.t Core_kernel.Std.Timing_wheel_ns.t -> Alarm_value.t Core_kernel.Std.Timing_wheel_ns.t) -> now:(([< ], t, Import.Time_ns.t Var.t) Fieldslib.Field.t_with_perm -> t -> Import.Time_ns.t Var.t -> Import.Time_ns.t Var.t) -> handle_fired:(([< ], t, Alarm.t -> unit) Fieldslib.Field.t_with_perm -> t -> (Alarm.t -> unit) -> Alarm.t -> unit) -> fired_alarm_values:(([< ], t, Alarm_value.t Uopt.t) Fieldslib.Field.t_with_perm -> t -> Alarm_value.t Uopt.t -> Alarm_value.t Uopt.t) -> num_nodes_became_necessary:(([< ], t, int) Fieldslib.Field.t_with_perm -> t -> int -> int) -> num_nodes_became_unnecessary:(([< ], t, int) Fieldslib.Field.t_with_perm -> t -> int -> int) -> num_nodes_changed:(([< ], t, int) Fieldslib.Field.t_with_perm -> t -> int -> int) -> num_nodes_created:(([< ], t, int) Fieldslib.Field.t_with_perm -> t -> int -> int) -> num_nodes_invalidated:(([< ], t, int) Fieldslib.Field.t_with_perm -> t -> int -> int) -> num_nodes_recomputed:(([< ], t, int) Fieldslib.Field.t_with_perm -> t -> int -> int) -> num_nodes_recomputed_directly_because_one_child:(([< ], t, int) Fieldslib.Field.t_with_perm -> t -> int -> int) -> num_nodes_recomputed_directly_because_min_height:(([< ], t, int) Fieldslib.Field.t_with_perm -> t -> int -> int) -> num_var_sets:(([< ], t, int) Fieldslib.Field.t_with_perm -> t -> int -> int) -> t

val set_all_mutable_fields : t -> status:status -> stabilization_num:Stabilization_num.t -> current_scope:Scope.t -> num_active_observers:int -> all_observers:Internal_observer.Packed.t Uopt.t -> now:Import.Time_ns.t Var.t -> fired_alarm_values:Alarm_value.t Uopt.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