¶using buffer_name_map =
std::function<std::string(buffer_id)>;
using buffer_name_map =
std::function<std::string(buffer_id)>;¶using buffer_name_map =
std::function<std::string(buffer_id)>;