def blen

import bend-collections-laws-crypto@1.0.0.0/proofs/crypto/curve25519/pow.bend as Pow

import Base

57def blen(bs: List<&2, Bool>) -> Nat:
58  match bs:
59    case Nil{}:
60      0n
61    case Con{b, bt}:
62      1n+blen(bt)

Uses (3)