def bool_count

bend-collections@1.0.0.0 · src/containers/bitset.bend:444

import bend-collections@1.0.0.0/src/containers/bitset.bend as Bitset

import Base

444def bool_count(bs: List<&2, Bool>) -> Nat:
445  match bs:
446    case Nil{}:
447      0n
448    case Con{b, t}:
449      1n+bool_count(t)

Uses (3)

Used by (2)