7 using UUIDVec = std::vector<UUID>;
8 UUIDVec uuid_vec_from_string(
const std::string &s);
9 std::string uuid_vec_to_string(
const UUIDVec &v);
10 UUIDVec uuid_vec_append(
const UUIDVec &v,
const UUID &uu);
11 UUID uuid_vec_flatten(
const UUIDVec &v);
12 std::pair<UUIDVec, UUID> uuid_vec_split(
const UUIDVec &v);