def all01

import bend-collections-laws-crypto@1.0.0.0/proofs/crypto/secp256k1/bitsv.bend as Bitsv

import Base

32def all01(bs: List<&2, Nat>) -> Bool:
33  match bs:
34    case Nil{}: True{}
35    case b <> t: Bool.and(Nat.is_lt(b, 2n), all01(t))

Uses (5)