def U32.cmp
import Base1538def U32.cmp(a: U32, b: U32) -> Cmp:
1539 match a b:
1540 case U32{x} U32{y}:
1541 Word.cmp(32n, x, y)
import Base1538def U32.cmp(a: U32, b: U32) -> Cmp:
1539 match a b:
1540 case U32{x} U32{y}:
1541 Word.cmp(32n, x, y)