def members_fin
import bend-collections@1.0.0.0/src/containers/bitset.bend as Bitsetimport Base
316def members_fin(p: Array<Wd> & List<&2, Nat>, +n: Nat, +d: Nat) -> Bitset & List<&2, Nat>:
317 (a, xs) = p
318 (BS{n, d, a}, xs)
import bend-collections@1.0.0.0/src/containers/bitset.bend as Bitsetimport Base
316def members_fin(p: Array<Wd> & List<&2, Nat>, +n: Nat, +d: Nat) -> Bitset & List<&2, Nat>:
317 (a, xs) = p
318 (BS{n, d, a}, xs)