delta_map
Lib.delta_map : ('a -> 'a delta) -> 'a list -> 'a list delta
Apply a function to a list, sharing as much structure as possible.
An application delta_map f list applies f to each member
[x1,...,xn] of list. If all applications of f return SAME, then
delta_map f list returns SAME. Otherwise, DIFF [y1,...,yn] is
returned. If f xi yielded SAME, then yi is xi. Otherwise, f xi
equals DIFF yi.
Failure
If some application of f xi raises e, then delta_map f list raises
e.
Example
See the example in the documentation for delta_apply.