Manifest.tool.find: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/ledger/manifest.bend as Manifest
Lines 468-474 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=468&end_line=474

import Base

# the tool of this name, or one with empty fields
def tool.find(ts: List<&2, Tool>, +name: String) -> Tool:
  match ts:
    case []:
      Tool{"", "", "", Hub{""}}
    case h <> t:
      tool.find.at(h, tool.find(t, name), name)

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ledger/manifest.bend&name=Source
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ledger/manifest.bend&name=Tool
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ledger/manifest.bend&name=tool.find.at