def jpeg.huff.shift
import gralha-jpeg-decode@0.1.0.1/jpeg.bend as Jpegimport Base
162def jpeg.huff.shift(coding: JPEGCoding) -> JPEGCoding:
163 JPEGCoding{node, cw0, at, valid} = coding
164 JPEGCoding{node, (cw0 * 2 : U32), at, valid}
import gralha-jpeg-decode@0.1.0.1/jpeg.bend as Jpegimport Base
162def jpeg.huff.shift(coding: JPEGCoding) -> JPEGCoding:
163 JPEGCoding{node, cw0, at, valid} = coding
164 JPEGCoding{node, (cw0 * 2 : U32), at, valid}