Manifest.tool.find.pick: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/ledger/manifest.bend as Manifest
Lines 456-462 of ezx@1.11.0.0/src/ledger/manifest.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/ledger/manifest.bend&start_line=456&end_line=462

import Base

# this tool when its name matches, otherwise whatever the rest gave
def tool.find.pick(hit: Bool, pin: Tool, rest: Tool) -> Tool:
  match hit:
    case True{}:
      pin
    case False{}:
      rest

Uses (2):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ledger/manifest.bend&name=Tool