def serialize

bend-collections-laws-crypto@1.0.0.0 · spec/crypto/chacha.bend:89

import Base

89def serialize(ws: List<&2, U32>) -> List<&2, U32>:
90  match ws:
91    case Nil{}: Nil{}
92    case w <> rest: List.append(&2, U32, octets(w), serialize(rest))