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