def lc.rotl19.bits

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

import Base

109def lc.rotl19.bits(x: U32) -> U32:
110  match x:
111    case U32{+w}:
112      U32{lc.wrotl(13n, 19n, w)}