| 139 | // Merge `other` entries into `to_update`. |
| 140 | template <typename T> |
| 141 | static inline void MergeSets(std::set<T>& to_update, const std::set<T>& other) { |
| 142 | to_update.insert(other.begin(), other.end()); |
| 143 | } |
| 144 | |
| 145 | // Returns a copy of the passed vector that doesn't memory-own its entries. |
| 146 | template <typename T> |