Jpeg.jpeg.huff.install: def of gralha-jpeg-decode@0.1.0.1
Import: import gralha-jpeg-decode@0.1.0.1/jpeg.bend as Jpeg
Lines 171-178 of gralha-jpeg-decode@0.1.0.1/jpeg.bend: https://jend.leeeet.dev/read.txt?path=gralha-jpeg-decode@0.1.0.1/jpeg.bend&start_line=171&end_line=178

import Base

def jpeg.huff.install(coding: JPEGCoding, +frame: JPEGFrame, spec: U32, end: U32, next: U32 -> JPEGFrame -> JPEGFrame) -> JPEGFrame:
  JPEGCoding{node, cw0, at, ok} = coding
  JPEGFrame{w, h, hm, vm, progressive, components, quants, huffs, restart, adobe, valid} = frame
  +position = at
  +tag = spec
  next(position)(JPEGFrame{w, h, hm, vm, progressive, components, quants, Con{JPEGHuff{(tag % 16 : U32), U32.is_ge(tag, 16), node}, huffs}, restart, adobe, valid && ok && U32.is_le(position, end)})

@unsafe

Uses (9):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.and
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.is_ge
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.is_le
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.mod
  https://jend.leeeet.dev/definition.txt?path=gralha-jpeg-decode@0.1.0.1/jpeg.bend&name=JPEGCoding
  https://jend.leeeet.dev/definition.txt?path=gralha-jpeg-decode@0.1.0.1/jpeg.bend&name=JPEGFrame
  https://jend.leeeet.dev/definition.txt?path=gralha-jpeg-decode@0.1.0.1/jpeg.bend&name=JPEGHuff