~/jendhub

def jpeg.rgb.ids

gralha-jpeg-decode@0.1.0.1 · jpeg.bend:705

import gralha-jpeg-decode@0.1.0.1/jpeg.bend as Jpeg
import Base

705def jpeg.rgb.ids(xs: List<&2, JPEGComponent>) -> Bool:
706  match xs:
707    case Con{JPEGComponent{a, _, _, _, _, _, _, _, _, _, _}, Con{JPEGComponent{b, _, _, _, _, _, _, _, _, _, _}, Con{JPEGComponent{c, _, _, _, _, _, _, _, _, _, _}, Nil{}}}}: U32.is_eq(a, 82) && U32.is_eq(b, 71) && U32.is_eq(c, 66)
708    case _: False{}

Uses (5)

Used by (1)