def tool.at

ezx@1.11.0.0 · src/ws/joint.bend:75

import ezx@1.11.0.0/src/ws/joint.bend as Joint
import Base
import ezx@1.11.0.0/src/ledger/manifest.bend as M

75# a tool read from a member's directory
76def tool.at(+dir: String, pin: M.Tool) -> M.Tool:
77  M.Tool{nn, ee, bb, ss} = pin
78  M.Tool{nn, ee, bb, source.at(dir, ss)}

Uses (3)

Used by (1)