def h.u_sound

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

import Base

1814def h.u_sound(a: U32, b: U32, e: {U32.is_eq(a, b) == True{} : Bool}) -> {a == b : U32}:
1815  match a b:
1816    case U32{+x} U32{+y}:
1817      %h.wcmp_sound(32n, x, y, e) : {U32{x} == U32{_} : U32}
1818      {==}