static map_location legacy_difference(const map_location & me, const map_location &a) { return legacy_sum(me,legacy_negation(a)); }
map_location map_location::legacy_difference(const map_location &a) const { return legacy_sum(a.legacy_negation()); }