def extension

bend-collections-laws-crypto@1.0.0.0 · spec/crypto/sha512.bend:210

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

210def extension(rounds: Nat, +history: List<&2, T.Lane>) -> List<&2, T.Lane>:
211  match rounds:
212    case 0n:
213      Nil{}
214    case 1n+p:
215      +w = recurrence(history)
216      w <> extension(p, w <> history)