Probably a better name would be

put_header_key_values (k: READABLE_STRING_8; a_values: ITERABLE [READABLE_STRING_8]; a_separator: detachable STRING)

with ","  as default separator if `a_separator' is Void or empty.