def jpeg.components.has

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

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

import Base

202def jpeg.components.has(xs: List<&2, JPEGComponent>, +key: U32) -> Bool:
203  match xs:
204    case Nil{}: False{}
205    case Con{JPEGComponent{id, _, _, _, _, _, _, _, _, _, _}, rest}: U32.is_eq(id, key) || jpeg.components.has(rest, key)

Uses (6)

Used by (2)