def all_bytes

bend-collections-laws-crypto@1.0.0.0 · src/math/random/chacha8.bend:93

import Base

93def all_bytes(bs: List<&2, U32>) -> Bool:
94  match bs:
95    case Nil{}:
96      True{}
97    case Con{+b, rest}:
98      Bool.and(U32.is_lt(b, 256), all_bytes(rest))