def at.pick

ezx@1.11.0.0 · src/ws/moved.bend:90

import Base

90# the member written from a directory, once it is known whether the head is
91def at.pick(hit: Bool, hd: Held, rest: Maybe<&2, Held>) -> Maybe<&2, Held>:
92  match hit:
93    case True{}:
94      Some{hd}
95    case False{}:
96      rest