def mul3
import bend-collections-laws-crypto@1.0.0.0/src/crypto/aes/sbox.bend as Sboximport Base
159def mul3(x: U32) -> U32:
160 match x:
161 case U32{w}: mul3_word(U32{w})
import bend-collections-laws-crypto@1.0.0.0/src/crypto/aes/sbox.bend as Sboximport Base
159def mul3(x: U32) -> U32:
160 match x:
161 case U32{w}: mul3_word(U32{w})