def flat

bend-collections-laws-crypto@1.0.0.0 · spec/crypto/random.bend:50

import Base
import bend-collections-laws-crypto@1.0.0.0/src/math/u64.bend as W

50# the bytes of consecutive outputs
51def flat(xs: List<&2, W.U64>) -> List<&2, U32>:
52  match xs:
53    case Nil{}:
54      []
55    case Con{x, rest}:
56      append(le_bytes(x), flat(rest))