def tool.values
import ezx@1.11.0.0/src/lock/plan.bend as Planimport Base
import ezx@1.11.0.0/src/ledger/manifest.bend as M
401# every name, key and value a tool pin writes
402def tool.values(pin: M.Tool) -> List<&2, String>:
403 M.Tool{n, e, b, s} = pin
404 match s:
405 case M.Hub{_named}:
406 [n, e, b]
407 case M.Git{url, rev, tag, root, nar, _vend}:
408 [n, e, b, url, rev, tag, root, nar]
409 case M.Member{_path, _named}:
410 [n, e, b]