Hairpin.merge: def of bend-kit-hairpin@0.13.0.1 Import: import bend-kit-hairpin@0.13.0.1/hairpin.bend as Hairpin Lines 122-125 of bend-kit-hairpin@0.13.0.1/hairpin.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-hairpin@0.13.0.1/hairpin.bend&start_line=122&end_line=125 import Base import bend-kit-http@0.38.1.1/http.bend as Http # The defaults under the request headers, names lowercased; a request header replaces a default of its name. # Host, Connection, Content-Length, and Transfer-Encoding are the client's own, so both sides drop them. def merge(defaults: Map<&2, List<&2, String>>, headers: Map<&2, List<&2, String>>) -> Map<&2, List<&2, String>>: Http.req.put(Map.to_list(&2, List<&2, String>, headers), Http.req.put(Map.to_list(&2, List<&2, String>, defaults), Http.empty())) Uses (6): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Map https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Map.to_list https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String https://jend.leeeet.dev/definition.txt?path=bend-kit-http@0.38.2.0/http.bend&name=empty https://jend.leeeet.dev/definition.txt?path=bend-kit-http@0.38.2.0/http.bend&name=req.put