def words64

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

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

172# consecutive little-endian word pairs as 64-bit words
173def words64(xs: List<&2, U32>) -> List<&2, W.U64>:
174  match xs:
175    case Con{lo, Con{hi, rest}}:
176      Con{W.U64{lo, hi}, words64(rest)}
177    case _:
178      []