def merge

bend-kit-hairpin@0.13.0.1 · hairpin.bend:122

import Base
import bend-kit-http@0.38.1.1/http.bend as Http

122# The defaults under the request headers, names lowercased; a request header replaces a default of its name.
123# Host, Connection, Content-Length, and Transfer-Encoding are the client's own, so both sides drop them.
124def merge(defaults: Map<&2, List<&2, String>>, headers: Map<&2, List<&2, String>>) -> Map<&2, List<&2, String>>:
125  Http.req.put(Map.to_list(&2, List<&2, String>, headers), Http.req.put(Map.to_list(&2, List<&2, String>, defaults), Http.empty()))