CHANGES:
- Add some
reflexive_equal
andreflexive_compare
functions - Add
min_binding_inter
for maps,min_elt_inter
for sets and their max counterparts - Add
difference
andsymmetric_difference
function to maps (and adddifference
toWithForeign
) - Add
diff
functions to sets - Internal refactor.