def bytes_ok

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

import Base

213def bytes_ok(bs: List<&2, U32>) -> Bool:
214  match bs:
215    case Nil{}:
216      True{}
217    case Con{+b, rest}:
218      Bool.and(U32.is_lt(b, 256), bytes_ok(rest))