~/jendhub

def count_pick

bend-collections@1.0.0.0 · src/containers/internal/intrusive_list.bend:243

import bend-collections@1.0.0.0/src/containers/internal/intrusive_list.bend as IntrusiveList
import Base

243def count_pick(~S: Type, +count: Nat, r: S & Bool) -> S & Nat:
244  match r:
245    case Tuple{s, True{}}: (s, 1n+count)
246    case Tuple{s, False{}}: (s, count)

Uses (4)

Used by (1)