domain_difference m1 m2 which is just m1 restricted to elements that don't appear in m2. On set, this is the Stdlib's diff function. Also defined for WithForeign operations.
difference f m1 m2 which returns the set of bindings that differ in m1 and m2, combining bindings present in both with f.
Add two difference functions:
domain_difference m1 m2which is justm1restricted to elements that don't appear inm2. On set, this is theStdlib'sdifffunction. Also defined forWithForeignoperations.difference f m1 m2which returns the set of bindings that differ inm1andm2, combining bindings present in both withf.