~/jendhub

def names.valid.pick

ezx@1.11.0.0 · src/lock/lock.bend:167

import ezx@1.11.0.0/src/lock/lock.bend as Lock
import Base

167def names.valid.pick(ok: Bool, +name: Name, rest: List<&2, Name>) -> List<&2, Name>:
168  match ok:
169    case True{}:
170      name <> rest
171    case False{}:
172      rest

Uses (3)

Used by (1)