def string_bits

bend-collections-laws-crypto@1.0.0.0 · spec/crypto/aes/gcm.bend:19

import Base

19def string_bits(xs: List<&2, U32>) -> List<&2, Bool>:
20  match xs:
21    case Nil{}:
22      Nil{}
23    case x <> rest:
24      List.append(&2, Bool, byte_bits(x), string_bits(rest))