def round

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

import Base

108def round(v: List<&2,U32>, +m: List<&2,U32>) -> List<&2,U32>:
109  match v:
110    case Nil{}: Nil{}
111    case Con{+x,+r}: diagonals(columns(Con{x,r},m),m)