def permute_go

bend-collections-laws-crypto@1.0.0.0 · spec/crypto/blake/blake3.bend:113

import Base

113# The message words are permuted between rounds: word i of the next round is
114# word msg_permutation[i] of this one.
115def permute_go(ps: List<&2,Nat>, +m: List<&2,U32>) -> List<&2,U32>:
116  match ps:
117    case Nil{}: Nil{}
118    case Con{p,r}: Con{at(m,p),permute_go(r,m)}