Http.h2.header.items: def of bend-kit-http@0.38.2.0
Import: import bend-kit-http@0.38.2.0/http.bend as Http
Lines 3174-3182 of bend-kit-http@0.38.2.0/http.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-http@0.38.2.0/http.bend&start_line=3174&end_line=3182

import Base
import bend-kit-http2@0.4.0.0/hpack.bend as Hpack

def h2.header.items(xs: List<&2, Sigma<&2, &2, String, _ => List<&2, String>>>,
    +nominated: List<&2, String>) -> List<&2, Hpack.Field>:
  match xs:
    case Nil{}:
      Nil{}
    case (name, values) <> tail:
      +key = String.to_lower(name)
      h2.header.item(Bool.or(h2.header.skip(key), h2.header.has(nominated, key)),
        key, values, h2.header.items(tail, nominated))

Uses (9):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.or
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Sigma
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.to_lower
  https://jend.leeeet.dev/definition.txt?path=bend-kit-http2@0.4.0.0/hpack.bend&name=Field
  https://jend.leeeet.dev/definition.txt?path=bend-kit-http@0.38.2.0/http.bend&name=h2.header.has
  https://jend.leeeet.dev/definition.txt?path=bend-kit-http@0.38.2.0/http.bend&name=h2.header.item
  https://jend.leeeet.dev/definition.txt?path=bend-kit-http@0.38.2.0/http.bend&name=h2.header.skip