def lc.rotl31.bits
import bend-osdev-legacy-ciphers@0.1.0.0/legacy_ciphers.bend as LegacyCiphersimport Base
137def lc.rotl31.bits(x: U32) -> U32:
138 match x:
139 case U32{+w}:
140 U32{lc.wrotl(1n, 31n, w)}
import bend-osdev-legacy-ciphers@0.1.0.0/legacy_ciphers.bend as LegacyCiphersimport Base
137def lc.rotl31.bits(x: U32) -> U32:
138 match x:
139 case U32{+w}:
140 U32{lc.wrotl(1n, 31n, w)}