| 170 | |
| 171 | template <typename Out> |
| 172 | void writeWithWidth(Out & out, std::string_view s, size_t width) |
| 173 | { |
| 174 | if (s.size() >= width) |
| 175 | out << s << " "; |
| 176 | else |
| 177 | out << s << std::string(width - s.size(), ' '); |
| 178 | } |
| 179 | |
| 180 | template <typename Out> |
| 181 | void writeWithWidthStrict(Out & out, std::string_view s, size_t width) |