def lc.rotl13.bits

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

import Base

104def lc.rotl13.bits(x: U32) -> U32:
105  match x:
106    case U32{+w}:
107      U32{lc.wrotl(19n, 13n, w)}