def lc.rotl31.bits

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

import Base

134def lc.rotl31.bits(x: U32) -> U32:
135  match x:
136    case U32{+w}:
137      U32{lc.wrotl(1n, 31n, w)}