Module Fields

val names : string list

val num_var_sets : ([< ], t, int) Fieldslib.Field.t_with_perm

val num_nodes_recomputed_directly_because_min_height : ([< ], t, int) Fieldslib.Field.t_with_perm

val num_nodes_recomputed_directly_because_one_child : ([< ], t, int) Fieldslib.Field.t_with_perm

val num_nodes_recomputed : ([< ], t, int) Fieldslib.Field.t_with_perm

val num_nodes_invalidated : ([< ], t, int) Fieldslib.Field.t_with_perm

val num_nodes_created : ([< ], t, int) Fieldslib.Field.t_with_perm

val num_nodes_changed : ([< ], t, int) Fieldslib.Field.t_with_perm

val num_nodes_became_unnecessary : ([< ], t, int) Fieldslib.Field.t_with_perm

val num_nodes_became_necessary : ([< ], t, int) Fieldslib.Field.t_with_perm

val fired_alarm_values : ([< ], t, Alarm_value.t Uopt.t) Fieldslib.Field.t_with_perm

val handle_fired : ([< ], t, Alarm.t -> unit) Fieldslib.Field.t_with_perm

val now : ([< ], t, Import.Time_ns.t Var.t) Fieldslib.Field.t_with_perm

val timing_wheel : ([< ], t, Alarm_value.t Core_kernel.Std.Timing_wheel_ns.t) Fieldslib.Field.t_with_perm

val run_on_update_handlers : ([< ], t, Run_on_update_handlers.t Core_kernel.Std.Stack.t) Fieldslib.Field.t_with_perm

val handle_after_stabilization : ([< ], t, Node.Packed.t Core_kernel.Std.Stack.t) Fieldslib.Field.t_with_perm

val set_during_stabilization : ([< ], t, Var.Packed.t Core_kernel.Std.Stack.t) Fieldslib.Field.t_with_perm

val disallowed_observers : ([< ], t, Internal_observer.Packed.t Core_kernel.Std.Stack.t) Fieldslib.Field.t_with_perm

val new_observers : ([< ], t, Internal_observer.Packed.t Core_kernel.Std.Stack.t) Fieldslib.Field.t_with_perm

val finalized_observers : ([< ], t, Internal_observer.Packed.t Core_kernel.Std.Thread_safe_queue.t) Fieldslib.Field.t_with_perm

val all_observers : ([< ], t, Internal_observer.Packed.t Uopt.t) Fieldslib.Field.t_with_perm

val num_active_observers : ([< ], t, int) Fieldslib.Field.t_with_perm

val propagate_invalidity : ([< ], t, Node.Packed.t Core_kernel.Std.Stack.t) Fieldslib.Field.t_with_perm

val adjust_heights_heap : ([< ], t, Adjust_heights_heap.t) Fieldslib.Field.t_with_perm

val recompute_heap : ([< ], t, Recompute_heap.t) Fieldslib.Field.t_with_perm

val current_scope : ([< ], t, Scope.t) Fieldslib.Field.t_with_perm

val stabilization_num : ([< ], t, Stabilization_num.t) Fieldslib.Field.t_with_perm

val bind_lhs_change_should_invalidate_rhs : ([< ], t, bool) Fieldslib.Field.t_with_perm

val status : ([< ], t, status) Fieldslib.Field.t_with_perm

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

val create : status:status -> bind_lhs_change_should_invalidate_rhs:bool -> stabilization_num:Stabilization_num.t -> current_scope:Scope.t -> recompute_heap:Recompute_heap.t -> adjust_heights_heap:Adjust_heights_heap.t -> propagate_invalidity:Node.Packed.t Core_kernel.Std.Stack.t -> num_active_observers:int -> all_observers:Internal_observer.Packed.t Uopt.t -> finalized_observers:Internal_observer.Packed.t Core_kernel.Std.Thread_safe_queue.t -> new_observers:Internal_observer.Packed.t Core_kernel.Std.Stack.t -> disallowed_observers:Internal_observer.Packed.t Core_kernel.Std.Stack.t -> set_during_stabilization:Var.Packed.t Core_kernel.Std.Stack.t -> handle_after_stabilization:Node.Packed.t Core_kernel.Std.Stack.t -> run_on_update_handlers:Run_on_update_handlers.t Core_kernel.Std.Stack.t -> timing_wheel:Alarm_value.t Core_kernel.Std.Timing_wheel_ns.t -> now:Import.Time_ns.t Var.t -> handle_fired:(Alarm.t -> unit) -> 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 -> t

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

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

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

val map_poly : ([< ], t, 'a) Fieldslib.Field.user -> 'a list

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

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

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