def serialize

bend-collections-laws-crypto@1.0.0.0 · spec/crypto/blake/blake2s.bend:124

import Base

124def serialize(ws: List<&2,U32>) -> List<&2,U32>:
125  match ws:
126    case Nil{}: Nil{}
127    case w <> rest: List.append(&2, U32, octets(w), serialize(rest))