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