Http.rv.head: def of bend-kit-http@0.38.2.0
Import: import bend-kit-http@0.38.2.0/http.bend as Http
Lines 1427-1436 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=1427&end_line=1436

import Base

def rv.head(hs: Hs) -> Rt:
  match hs:
    case HsWait{buf, k}:
      RtMore{RvHead{buf, k}}
    case HsBad{}:
      RtBad{}
    case HsSeek{buf, from, k}:
      RtBad{}
    case HsRes{res, +rb, rest}:
      rv.body(rb.buf(rb), res, rb, rest)

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=bend-kit-http@0.38.2.0/http.bend&name=Hs
  https://jend.leeeet.dev/definition.txt?path=bend-kit-http@0.38.2.0/http.bend&name=Rt
  https://jend.leeeet.dev/definition.txt?path=bend-kit-http@0.38.2.0/http.bend&name=Rv
  https://jend.leeeet.dev/definition.txt?path=bend-kit-http@0.38.2.0/http.bend&name=rb.buf
  https://jend.leeeet.dev/definition.txt?path=bend-kit-http@0.38.2.0/http.bend&name=rv.body