Http.Http.framing.len.if: def of bend-kube-runtime@0.2.0.0
Import: import bend-kube-runtime@0.2.0.0/src/http.bend as Http
Lines 210-215 of bend-kube-runtime@0.2.0.0/src/http.bend: https://jend.leeeet.dev/read.txt?path=bend-kube-runtime@0.2.0.0/src/http.bend&start_line=210&end_line=215

import Base

def Http.framing.len.if(+k: U32, zero: Bool) -> Phase:
  match zero:
    case True{}:
      PDone{}
    case False{}:
      PLen{k}

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/http.bend&name=Phase