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

import Base

def ml.read(r: Lz & U32, +a: U32, +b: U32, +k: U32) -> Ml:
  (z, +x) = r
  ml.cmp(lz.at(z, (b + k : U32)), a, b, k, x)

Uses (8):
  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=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.cmp