Http.head.of: def of cswap-bend-cli@0.1.0.0
Import: import cswap-bend-cli@0.1.0.0/http.bend as Http
Lines 163-169 of cswap-bend-cli@0.1.0.0/http.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/http.bend&start_line=163&end_line=169

import Base

# The header lines: everything before the first blank line.
def head.of(ls: List<&2, String>) -> String:
  match ls:
    case Nil{}:
      ""
    case Con{+h, t}:
      head.pick(String.is_empty(String.trim(h)), h, head.of(t))

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.is_empty
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.trim
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/http.bend&name=head.pick