def member_pick

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

import Base

110def member_pick(b: Bool, +off: Nat, rest: List<&2, Nat>) -> List<&2, Nat>:
111  match b:
112    case True{}:
113      Con{off, rest}
114    case False{}:
115      rest