def ch.go

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

import Base

907def ch.go(fuel: Nat, st: Ch) -> Ch:
908  match fuel:
909    case 0n:
910      st
911    case 1n+f:
912      Ch{z, +i, +c, +max, +blen, +bdist, go} = st
913      match go:
914        case True{}:
915          +p = (c - 1 : U32)
916          ch.go(f, ch.best(ml.go(bits(max), Ml{z, i, p, 0, True{}}), i, p, max, blen, bdist))
917        case False{}:
918          Ch{z, i, c, max, blen, bdist, False{}}