~/jendhub

def rotate_nonzero

bend-collections@1.0.0.0 · spec/crypto/keccak/permutation.bend:17

import bend-collections@1.0.0.0/spec/crypto/keccak/permutation.bend as Permutation
import Base
import bend-collections@1.0.0.0/src/crypto/keccak/types.bend as T

17def rotate_nonzero(lo: U32, hi: U32, +n: Nat, b: Bool) -> T.Lane:
18  match b:
19    case True{}: rotate_small(lo,hi,n)
20    case False{}: rotate_small(hi,lo,Nat.sub(n,32n))

Uses (6)

Used by (1)