def jpeg.progressive.refine.fresh
gralha-jpeg-decode@0.1.0.1 · jpeg.bend:324
import gralha-jpeg-decode@0.1.0.1/jpeg.bend as Jpeg
import Base
import gralha-text-scan@0.1.0.1/scan.bend as U
import gralha-bytes@0.1.0.1/bytes.bend as Bin
324def jpeg.progressive.refine.fresh(read: JPEGRead, index: U32, end: U32, run: U32, offset: U32, +p1: U32, coefficients: Bin.Bytes, predictor: U32) -> JPEGRefined:
325 JPEGRead{bit, stream} = read
326 jpeg.progressive.walk(index, end, run, U.choose(U32, U32.is_eq(bit, 1), p1, (0 - p1 : U32)), offset, p1, JPEGBlock{stream, coefficients, predictor})