def absorb

bend-collections-laws-crypto@1.0.0.0 · spec/crypto/blake/blake2b.bend:245

import Base
import bend-collections-laws-crypto@1.0.0.0/src/crypto/blake/blake2b/types.bend as T

245# A block that is not the last: t already counts its 128 bytes.
246def absorb(a: Array<U32>, +index: U32, t: T.Counter, h: T.Chain) -> Array<U32> & T.Chain:
247  gather(31n,index,1,False{},0n,t,h,Nil{},Array.get(U32,a,index))