def members_cons

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

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

304def members_cons(p: Array<Wd> & U32, +off: Nat, rest: List<&2, Nat>) -> Array<Wd> & List<&2, Nat>:
305  (a, +w) = p
306  (a, members_word(w, off, rest, U32.is_eq(w, 0)))

Uses (9)

Used by (1)