def final_extra

bend-collections-laws-crypto@1.0.0.0 · spec/crypto/sha/packed.bend:77

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

77def final_extra(+extra: Nat,more: Bool, +total: Nat, pair: Array<U32> & S.State) -> Array<U32> & S.State:
78  match more pair:
79    case False{} Tuple{a,s}: (a,s)
80    case True{} Tuple{a,s}:
81      (a,compress([0,0,0,0,0,0,0,0,0,0,0,0,0,0,len_hi(total),len_lo(total)],extra,s))