Zlib.ml.go: def of bend-kit-zlib@0.5.1.0
Import: import bend-kit-zlib@0.5.1.0/zlib.bend as Zlib
Lines 875-887 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=875&end_line=887

import Base

# Counts equal bytes from a and from b, up to fuel.
def ml.go(fuel: Nat, st: Ml) -> Lz & U32:
  match fuel:
    case 0n:
      Ml{z, a, b, +k, eq} = st
      (z, ml.len(k, eq))
    case 1n+f:
      Ml{z, +a, +b, +k, eq} = st
      match eq:
        case True{}:
          ml.go(f, ml.read(lz.at(z, (a + k : U32)), a, b, k))
        case False{}:
          (z, (k - 1 : U32))

Uses (12):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Sigma
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.add
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.sub
  https://jend.leeeet.dev/definition.txt?path=bend-kit-zlib@0.5.1.0/zlib.bend&name=Lz
  https://jend.leeeet.dev/definition.txt?path=bend-kit-zlib@0.5.1.0/zlib.bend&name=Ml
  https://jend.leeeet.dev/definition.txt?path=bend-kit-zlib@0.5.1.0/zlib.bend&name=lz.at
  https://jend.leeeet.dev/definition.txt?path=bend-kit-zlib@0.5.1.0/zlib.bend&name=ml.len
  https://jend.leeeet.dev/definition.txt?path=bend-kit-zlib@0.5.1.0/zlib.bend&name=ml.read