def u32_cmp

bend-collections-laws-math@1.0.0.0 · proofs/math/u64/u64.bend:52

import Base

52def u32_cmp(+x: Word(32n), +y: Word(32n)) -> {U32.cmp(U32{x}, U32{y}) == Word.cmp(32n, x, y) : Cmp}:
53  {==}