def tool.find

ezx@1.11.0.0 · src/ledger/manifest.bend:468

import Base

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