def pad
import bend-collections-laws-crypto@1.0.0.0/spec/crypto/sha512.bend as Sha512import Base
172def pad(+bytes: List<&2, U32>) -> List<&2, U32>:
173 List.append(&2, U32, bytes, padding_suffix(List.length(&2, U32, bytes)))
import bend-collections-laws-crypto@1.0.0.0/spec/crypto/sha512.bend as Sha512import Base
172def pad(+bytes: List<&2, U32>) -> List<&2, U32>:
173 List.append(&2, U32, bytes, padding_suffix(List.length(&2, U32, bytes)))