~/jendhub

def names.of

ezx@1.11.0.0 · src/tool/plan.bend:1128

import ezx@1.11.0.0/src/tool/plan.bend as Plan
import Base
import ezx@1.11.0.0/src/ledger/manifest.bend as M

1128# the names of the tools a ledger pins
1129def names.of(ts: List<&2, M.Tool>) -> List<&2, String>:
1130  match ts:
1131    case []:
1132      []
1133    case h <> t:
1134      M.tool.name(h) <> names.of(t)

Uses (4)

Used by (1)