Exec.Scan.feed.go: def of bend-kube-runtime@0.2.0.0
Import: import bend-kube-runtime@0.2.0.0/src/exec.bend as Exec
Lines 107-115 of bend-kube-runtime@0.2.0.0/src/exec.bend: https://jend.leeeet.dev/read.txt?path=bend-kube-runtime@0.2.0.0/src/exec.bend&start_line=107&end_line=115

import Base

def Scan.feed.go(bs: List<&2, U32>, +head: List<&2, U32>, +m: U32, +rest: List<&2, U32>,
  found: Bool) -> Scan:
  match bs found:
    case Nil{} f:
      Scan{head, m, rest, f}
    case Con{b, t} True{}:
      Scan{head, m, List.append(&2, U32, rest, Con{b, t}), True{}}
    case Con{+b, t} False{}:
      Scan.feed.go(t, Con{b, head}, Scan.next(m, b), rest, U32.is_eq(Scan.next(m, b), 4))

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List.append
  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=bend-kube-runtime@0.2.0.0/src/exec.bend&name=Scan
  https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/exec.bend&name=Scan.next