def found.pick

ezx@1.11.0.0 · src/add/relock.bend:40

import Base

40# this file's text when it is the one at the path, else the rest's. The rest
41# arrives as a thunk, so the first hit ends the scan.
42def found.pick(hit: Bool, body: String, rest: Unit -> String) -> String:
43  match hit:
44    case True{}:
45      body
46    case False{}:
47      rest(Unit{})