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

import Base

# the pinned CLIs of a ledger that was read; one that would not parse has none
def tools_of(ledger: Read) -> List<&2, Tool>:
  match ledger:
    case Bad{_why}:
      []
    case Good{m}:
      Manifest{_n, _e, _b, _h, _pa, _pv, _ds, ts} = m
      ts

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