Zlib.inf.go: def of bend-kit-zlib@0.5.1.0
Import: import bend-kit-zlib@0.5.1.0/zlib.bend as Zlib
Lines 467-482 of bend-kit-zlib@0.5.1.0/zlib.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-zlib@0.5.1.0/zlib.bend&start_line=467&end_line=482

import Base

# Every step reads at least one bit or fails, so 8 steps per input byte always finish a valid stream.
def inf.go(k: Nat, st: Is) -> Is:
  match k:
    case 0n:
      st
    case 1n+f:
      Is{b, o, mode, +last} = st
      match mode:
        case MoHead{}:
          inf.go(f, inf.head(br.take(b, 3), o))
        case MoCodes{lit, dist}:
          inf.go(f, inf.sym(br.sym(lit, b), dist, o, last))
        case MoDone{}:
          Is{b, o, MoDone{}, last}
        case MoBad{}:
          Is{b, o, MoBad{}, last}

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=bend-kit-zlib@0.5.1.0/zlib.bend&name=Is
  https://jend.leeeet.dev/definition.txt?path=bend-kit-zlib@0.5.1.0/zlib.bend&name=Mo
  https://jend.leeeet.dev/definition.txt?path=bend-kit-zlib@0.5.1.0/zlib.bend&name=br.sym
  https://jend.leeeet.dev/definition.txt?path=bend-kit-zlib@0.5.1.0/zlib.bend&name=br.take
  https://jend.leeeet.dev/definition.txt?path=bend-kit-zlib@0.5.1.0/zlib.bend&name=inf.head
  https://jend.leeeet.dev/definition.txt?path=bend-kit-zlib@0.5.1.0/zlib.bend&name=inf.sym