def inflate.cl
import gralha-bytes@0.1.0.1/bytes.bend as Bytesimport Base
298def inflate.cl(n: Nat, +index: U32, stream: BitStream, codes: Bytes) -> Inflate:
299 match n:
300 case 0n: Inflate{stream, codes}
301 case 1n+d: inflate.cl.byte(bits.read(stream, 3), codes, index, input => output => inflate.cl(d, U32.inc(index), input, output))