Incremental.Unordered_array_fold_update
type ('a, 'b) t
=
|
F_inverse of 'b -> 'a -> 'b
Update of 'b -> old_value:'a -> new_value:'a -> 'b