law rotl31_rotl1

bend-osdev-cipher-core@0.1.0.0 · LAWS.bend:55

import Base
import bend-osdev-cipher-core@0.1.0.0/cipher_core.bend as L

55law rotl31_rotl1:
56  for x: U32
57  {x == L.lc.rotl31.bits(L.lc.rotl1.bits(x)) : U32}