~/jendhub

def words_of

bend-collections-laws-math@1.0.0.0 · spec/math/random/chacha8rand.bend:220

import bend-collections-laws-math@1.0.0.0/spec/math/random/chacha8rand.bend as Chacha8rand
import Base

220def words_of(bs: List<&2, U32>) -> List<&2, U32>:
221  match bs:
222    case Con{b0, Con{b1, Con{b2, Con{b3, rest}}}}:
223      Con{le32(b0, b1, b2, b3), words_of(rest)}
224    case _:
225      []

Uses (3)

Used by (1)