def request.head.at
import emerging-ezhttp@0.22.0.0/src/http.bend as Httpimport Base
691# the request text a client sends to host and port ahead of n octets
692def request.head.at(method: String, secure: Bool, host: String, port: U32,
693 path: String, headers: List<&2, Header>, n: Nat) -> String:
694 request.head(method, authority(secure, host, port), path, headers, n)