header_name_string

header_name_string :: (id: Header_Name) -> string

The canonical spelling of a well-known header, as the writers send it. .UNKNOWN has no spelling and gives "". The string is a constant.

Parameters

id: Header_Name

Returns

string

assert(header_name_string(.CONTENT_TYPE) == "Content-Type");
assert(header_name_string(.WWW_AUTHENTICATE) == "WWW-Authenticate");
assert(HEADER_NAME_COUNT == 71);