Http.Http.step.size.go: def of bend-kube-runtime@0.2.0.0
Import: import bend-kube-runtime@0.2.0.0/src/http.bend as Http
Lines 339-355 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=339&end_line=355

import Base

def Http.step.size.go(+size: U32, lf: Bool, ext: Bool, h: Maybe<&2, U32>, semi: Bool,
  cr: Bool, any: Bool) -> Phase:
  match lf ext h semi cr any:
    case True{} _ _ _ _ True{}:
      Http.step.size.end(size, U32.is_eq(size, 0))
    case True{} _ _ _ _ False{}:
      PErr{"empty chunk size"}
    case False{} True{} _ _ _ _:
      PSize{size, True{}, any}
    case False{} False{} Some{v} _ _ _:
      Http.step.size.digit(size, v, U32.is_ge(size, 134217728))
    case False{} False{} None{} True{} _ _:
      PSize{size, True{}, any}
    case False{} False{} None{} False{} True{} _:
      PSize{size, ext, any}
    case _ _ _ _ _ _:
      PErr{"bad chunk size"}

Uses (8):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.is_eq
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.is_ge
  https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/http.bend&name=Http.step.size.digit
  https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/http.bend&name=Http.step.size.end
  https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/http.bend&name=Phase