~/jendhub

def eq_sym_u32

bend-collections-laws-math@1.0.0.0 · proofs/lib/words32.bend:27

import bend-collections-laws-math@1.0.0.0/proofs/lib/words32.bend as Words32
import Base

27def eq_sym_u32(+a: U32, +b: U32) -> {U32.is_eq(a, b) == U32.is_eq(b, a) : Bool}:
28  eq_sym_c(a, b, U32.is_eq(a, b), {==}, U32.is_eq(b, a), {==})

Uses (4)

Used by (0)

No other definition uses this definition.