def tools.at
import ezx@1.11.0.0/src/ws/joint.bend as Jointimport Base
import ezx@1.11.0.0/src/ledger/manifest.bend as M
80# every tool read from a member's directory
81def tools.at(+dir: String, ts: List<&2, M.Tool>) -> List<&2, M.Tool>:
82 match ts:
83 case []:
84 []
85 case hd <> tl:
86 tool.at(dir, hd) <> tools.at(dir, tl)