Plan.names.missing.pick: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/lock/plan.bend as Plan
Lines 506-512 of ezx@1.11.0.0/src/lock/plan.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/lock/plan.bend&start_line=506&end_line=512

import Base

# a name, when it is the first the search wants, or the rest's
def names.missing.pick(gone: Bool, +nv: String, rest: Unit -> String) -> String:
  match gone:
    case True{}:
      nv
    case False{}:
      rest(Unit{})

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Unit