Http.after_headers: def of cswap-bend-cli@0.1.0.0 Import: import cswap-bend-cli@0.1.0.0/http.bend as Http Lines 99-105 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=99&end_line=105 import Base # Lines after the header block (the first blank line). def after_headers(ls: List<&2, String>) -> List<&2, String>: match ls: case Nil{}: [] case Con{+h, +t}: after_headers.pick(String.is_empty(String.trim(h)), t, after_headers(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=after_headers.pick