Http.Http.step.trail.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 375-384 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=375&end_line=384

import Base

def Http.step.trail.go(lf: Bool, cr: Bool, blank: Bool) -> Phase:
  match lf cr blank:
    case True{} _ True{}:
      PDone{}
    case True{} _ False{}:
      PTrail{True{}}
    case False{} True{} b:
      PTrail{b}
    case False{} False{} _:
      PTrail{False{}}

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