Http.request.head: def of emerging-ezhttp@0.21.0.0
Import: import emerging-ezhttp@0.21.0.0/src/http.bend as Http
Lines 683-689 of emerging-ezhttp@0.21.0.0/src/http.bend: https://jend.leeeet.dev/read.txt?path=emerging-ezhttp@0.21.0.0/src/http.bend&start_line=683&end_line=689

import Base

# the request text for a body of n octets that is sent after it as its own
# octets: the request line, the fields for n octets, and the blank line
def request.head(method: String, host: String, path: String,
  headers: List<&2, Header>, +n: Nat) -> String:
  method ++ " " ++ path ++ " HTTP/1.1\r\n"
    ++ headers.lines(request.fields.n(host, headers, n))
    ++ "\r\n"

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.append
  https://jend.leeeet.dev/definition.txt?path=emerging-ezhttp@0.21.0.0/src/http.bend&name=Header
  https://jend.leeeet.dev/definition.txt?path=emerging-ezhttp@0.21.0.0/src/http.bend&name=headers.lines
  https://jend.leeeet.dev/definition.txt?path=emerging-ezhttp@0.21.0.0/src/http.bend&name=request.fields.n