def dotted.pick

bend-toon-codec@0.1.0.0 · src/fold.bend:66

import Base

66def dotted.pick(+hit: Bool, +k: String, +rest: List<&2, String>) -> List<&2, String>:
67  match hit:
68    case True{}:
69      Con{k, rest}
70    case False{}:
71      rest