def word_bits

qasim-bend-kit@0.1.0.2 · proof/AES_MaskedXorProof.bend:70

import Base

70def word_bits(+value: U32) -> Word(32n):
71    match value:
72        case U32{bits}: bits