def sum1

import bend-collections-laws-crypto@1.0.0.0/spec/crypto/sha.bend as Sha

import Base

26def sum1(+x: U32) -> U32:
27  U32.xor(U32.xor(rotate(x, 6n), rotate(x, 11n)), rotate(x, 25n))

Uses (3)