def final_extra
bend-collections-laws-crypto@1.0.0.0 · src/crypto/sha/packed/packed.bend:159
import bend-collections-laws-crypto@1.0.0.0/src/crypto/sha/packed/packed.bend as Packed
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
159def final_extra(+extra: Nat,more: Bool, +total: Nat, pair: Array<U32> & S.State) -> Array<U32> & S.State:
160 match more pair:
161 case False{} Tuple{a,s}: (a,s)
162 case True{} Tuple{a,s}:
163 (a,Core.fips_compress16(0,0,0,0,0,0,0,0,0,0,0,0,0,0,Core.len_hi(total),Core.len_lo(total),extra,s))