def lc.b1.bits

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

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

158def lc.b1.bits(w: U32) -> U32:
159  match w:
160    case U32{x}:
161      lc.of8(W.W64.bits.lo(8n, 8n, W.W64.bits.hi(8n, 16n, W.W64.bits.hi(8n, 24n, x))))