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

import Base

def rv.fed(res: Res, bf: Bf) -> Rt:
  Bf{rb, parts, rest} = bf
  match rb:
    case RbDone{}:
      rv.done(res, parts, Some{rest})
    case RbBad{}:
      RtBad{}
    case RbLen{n}:
      RtMore{RvBody{res, RbLen{n}, parts}}
    case RbChunk{st}:
      RtMore{RvBody{res, RbChunk{st}, parts}}
    case RbClose{}:
      RtMore{RvBody{res, RbClose{}, parts}}

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=bend-kit-http@0.38.2.0/http.bend&name=Bf
  https://jend.leeeet.dev/definition.txt?path=bend-kit-http@0.38.2.0/http.bend&name=Rb
  https://jend.leeeet.dev/definition.txt?path=bend-kit-http@0.38.2.0/http.bend&name=Res
  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=rv.done