def rotate

bend-collections-laws-crypto@1.0.0.0 · src/crypto/keccak/lane.bend:21

import Base
import bend-collections-laws-crypto@1.0.0.0/src/crypto/keccak/types.bend as T

21def rotate(s: T.Lane, +n: Nat) -> T.Lane:
22  match s n:
23    case T.W{lo,hi} 0n: T.W{lo,hi}
24    case T.W{lo,hi} 32n: T.W{hi,lo}
25    case T.W{lo,hi} n:
26      rotate_if(lo,hi,n,Nat.is_lt(n,32n))