def final

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

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

249# The last block: remain message bytes (1..128; 0 for the empty message), t := t + remain.
250def final(a: Array<U32>, +index: U32, +remain: Nat, t: T.Counter, h: T.Chain) -> T.Chain:
251  Pair.snd(Array<U32>,T.Chain,gather(31n,index,1,True{},remain,advance(t,U32.from_nat(remain)),h,Nil{},Array.get(U32,a,index)))