def hd_eq

lawful-bytes@0.1.1.0 · proof_fast_find.bend:143

import Base

143# Whether the head of a list is c.
144def hd_eq(xs: List<&2, U32>, +c: U32) -> Bool:
145  match xs:
146    case Nil{}:
147      False{}
148    case Con{x, t}:
149      U32.is_eq(x, c)