def h.u_refl

bend-kit-collections@0.1.4.1 · PROOF.bend:1764

import Base

1764def h.u_refl(x: U32) -> {U32.is_eq(x, x) == True{} : Bool}:
1765  match x:
1766    case U32{+w}:
1767      %Equal.sym(Cmp, Word.cmp(32n, w, w), EQ{}, h.wcmp_refl(32n, w)) : {Cmp.is_eq(_) == True{} : Bool}
1768      {==}