def below256

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

import Base

67def below256(xs: List<&2, U32>) -> Bool:
68  match xs:
69    case Nil{}:
70      True{}
71    case Con{+x, rest}:
72      Bool.and(U32.is_lt(x, 256), below256(rest))