def lc.rotl1.bits

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

import Base

79def lc.rotl1.bits(x: U32) -> U32:
80  match x:
81    case U32{+w}:
82      U32{lc.wrotl(31n, 1n, w)}