def hd2

lawful-bytes@0.1.1.0 · proof_fast_find2.bend:23

import Base

23# Whether the head of a list is c1 or c2.
24def hd2(xs: List<&2, U32>, +c1: U32, +c2: U32) -> Bool:
25  match xs:
26    case Nil{}:
27      False{}
28    case Con{+x, t}:
29      U32.is_eq(x, c1) || U32.is_eq(x, c2)