def lc.rotl25.bits

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

import Base

119def lc.rotl25.bits(x: U32) -> U32:
120  match x:
121    case U32{+w}:
122      U32{lc.wrotl(7n, 25n, w)}