def U32.and
import Base1499def U32.and(a: U32, b: U32) -> U32:
1500 match a b:
1501 case U32{x} U32{y}:
1502 U32{Word.and(32n, x, y)}
import Base1499def U32.and(a: U32, b: U32) -> U32:
1500 match a b:
1501 case U32{x} U32{y}:
1502 U32{Word.and(32n, x, y)}