def padded_words

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

import bend-collections@1.0.0.0/spec/crypto/sha/packed.bend as Packed

import Base

55def padded_words(ws: List<&2,U32>, +position: Nat, +remain: Nat, +total: Nat) -> List<&2,U32>:
56  match ws:
57    case Nil{}: Nil{}
58    case w <> tail:
59      padded_word(position,w,remain,total) <> padded_words(tail,Nat.add(position,4n),remain,total)

Uses (5)

Used by (3)