def inf.start

bend-kit-zlib@0.5.1.0 · zlib.bend:512

import Base
import bend-kit-bits@0.1.0.1/bits.bend as Bits

512def inf.start(ok: Bool, +len: U32, buf: Array<U32>, +at: U32) -> Maybe<&1, Inflated>:
513  match ok:
514    case False{}:
515      None{}
516    case True{}:
517      +fuel = Nat.add(Nat.mul(bits((len - at : U32)), 8n), 8n)
518      inf.result(inf.go(fuel, Is{Br{Bits.Reader{len, buf, (at << 3n : U32)}, False{}}, Out{Array.new(U32, 0n, 0), 0, 0}, MoHead{}, False{}}))