def count_fin
import bend-collections@1.0.0.0/src/containers/bitset.bend as Bitsetimport Base
274def count_fin(p: Array<Wd> & Nat, +n: Nat, +d: Nat) -> Bitset & Nat:
275 (a, c) = p
276 (BS{n, d, a}, c)
import bend-collections@1.0.0.0/src/containers/bitset.bend as Bitsetimport Base
274def count_fin(p: Array<Wd> & Nat, +n: Nat, +d: Nat) -> Bitset & Nat:
275 (a, c) = p
276 (BS{n, d, a}, c)