Module 1-Incr.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
1-Incr.Unordered_array_fold_updatetype ('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 |