def has2

lawful-bytes@0.1.1.0 · defs.bend:105

import Base

105# xs has c1 or c2 at index k.
106def has2(+xs: List<&2, U32>, +k: Nat, +c1: U32, +c2: U32) -> Bool:
107  is_some(List.get(&2, U32, xs, k), c1) || is_some(List.get(&2, U32, xs, k), c2)