def hash_unchecked

bend-collections-laws-crypto@1.0.0.0 · src/crypto/sha/packed/packed.bend:175

import Base
import bend-collections-laws-crypto@1.0.0.0/src/crypto/sha/packed/core.bend as Core
import bend-collections-laws-crypto@1.0.0.0/src/crypto/sha/state.bend as S

175# Internal entry; callers must establish length <= 4*array capacity.
176def hash_unchecked(a: Array<U32>, +length: Nat) -> S.State:
177  take_state(blocks(48n,Nat.div(length,64n),0,Nat.mod(length,64n),length,(a,Core.initial())))