Http.sv.step: def of bend-kit-http@0.38.4.0
Import: import bend-kit-http@0.38.4.0/http.bend as Http
Lines 5856-5874 of bend-kit-http@0.38.4.0/http.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-http@0.38.4.0/http.bend&start_line=5856&end_line=5874

import Base
import bend-kit-bytes@0.3.3.0/bytes.bend as Bytes

# A close mid-request is a request cut short (RFC 9112 §8).
def sv.step(closed: Bool, +max: Nat, +headers: U32, sv: Sv, piece: Bytes.Bytes) -> Turn:
  match closed:
    case True{}:
      match sv:
        case SvHead{buf}:
          sv.closed.head(buf)
        case SvLen{req, v11, left, parts}:
          TurnFail{400}
        case SvChunk{req, v11, n, st, parts}:
          TurnFail{400}
    case False{}:
      match sv:
        case SvHead{buf}:
          sv.head(max, headers, buf, piece)
        case SvLen{req, +v11, +left, parts}:
          sv.len(req, v11, left, parts, piece)
        case SvChunk{req, +v11, +n, st, parts}:
          sv.chunk(max, req, v11, n, st, parts, piece)

Uses (10):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=bend-kit-bytes@0.3.3.0/bytes.bend&name=Bytes
  https://jend.leeeet.dev/definition.txt?path=bend-kit-http@0.38.4.0/http.bend&name=Sv
  https://jend.leeeet.dev/definition.txt?path=bend-kit-http@0.38.4.0/http.bend&name=Turn
  https://jend.leeeet.dev/definition.txt?path=bend-kit-http@0.38.4.0/http.bend&name=sv.chunk
  https://jend.leeeet.dev/definition.txt?path=bend-kit-http@0.38.4.0/http.bend&name=sv.closed.head
  https://jend.leeeet.dev/definition.txt?path=bend-kit-http@0.38.4.0/http.bend&name=sv.head
  https://jend.leeeet.dev/definition.txt?path=bend-kit-http@0.38.4.0/http.bend&name=sv.len