def pad
import bend-collections-laws-crypto@1.0.0.0/spec/crypto/sha3.bend as Sha3import Base
37def pad(+bytes: List<&2, U32>) -> List<&2, U32>:
38 List.append(&2, U32, bytes, padding(List.length(&2, U32, bytes)))
import bend-collections-laws-crypto@1.0.0.0/spec/crypto/sha3.bend as Sha3import Base
37def pad(+bytes: List<&2, U32>) -> List<&2, U32>:
38 List.append(&2, U32, bytes, padding(List.length(&2, U32, bytes)))