def U32.pow
import Base1660def U32.pow(+a: U32, n: Nat) -> U32:
1661 match n:
1662 case 0n:
1663 1
1664 case 1n+p:
1665 U32.mul(a, U32.pow(a, p))
import Base1660def U32.pow(+a: U32, n: Nat) -> U32:
1661 match n:
1662 case 0n:
1663 1
1664 case 1n+p:
1665 U32.mul(a, U32.pow(a, p))