def members_go

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

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

308def members_go(m: Nat, p: Array<Wd> & List<&2, Nat>, +d: Nat) -> Array<Wd> & List<&2, Nat>:
309  match m:
310    case 0n:
311      p
312    case 1n+ +r:
313      (a, acc) = p
314      members_go(r, members_cons(read(a, d, r), Nat.mul(r, 32n), acc), d)

Uses (9)

Used by (1)