~/jendhub

def u32.eq

bend-osdev-algo@0.1.0.0 · PROOF.bend:1054

import bend-osdev-algo@0.1.0.0/PROOF.bend as PROOF
import Base

1054def u32.eq(a: U32, b: U32, e: {U32.is_eq(a, b) == True{} : Bool}) -> {a == b : U32}:
1055  match a b:
1056    case U32{+wa} U32{+wb}:
1057      %word.eq(32n, wa, wb, e) : {U32{wa} == U32{_} : U32}
1058      {==}

Uses (4)

Used by (1)