Module Incremental_kernel__Types.Unordered_array_fold

type ('a, 'acc) t = {
main : 'acc Node.t;
init : 'acc;
f : 'acc ‑> 'a ‑> 'acc;
f_inverse : 'acc ‑> 'a ‑> 'acc;
full_compute_every_n_changes : int;
children : 'a Node.t array;
mutable fold_value : 'acc Incremental_kernel__.Uopt.t;
mutable num_changes_since_last_full_compute : int;
}