def jpeg.scan.complete
import gralha-jpeg-decode@0.1.0.1/jpeg.bend as Jpegimport Base
525def jpeg.scan.complete(stream: JPEGStream) -> Bool:
526 JPEGStream{data, position, word, count, JPEGSpectral{start, end, high, low, eob}, valid} = stream
527 valid && U32.is_eq(eob, 0)