def es.go

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

import Base

973# Each step consumes at least one byte, so n steps finish.
974def es.go(fuel: Nat, st: Es) -> Es:
975  match fuel:
976    case 0n:
977      st
978    case 1n+f:
979      Es{z, w, +i, +n, more} = st
980      match more:
981        case True{}:
982          es.go(f, es.find(U32.is_lt((n - i : U32), 3), z, w, i, n))
983        case False{}:
984          Es{z, w, i, n, False{}}