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; |
}