def lc.of8

bend-osdev-cipher-core@0.1.0.0 · cipher_core.bend:145

import Base
import bend-osdev-word64@0.1.1.0/word64.bend as W

145def lc.of8(s: Word(8n)) -> U32:
146  U32{W.W64.bits.cat(8n, 24n, s, Word.zero(24n))}