def tool.back.at

ezx@1.11.0.0 · src/ws/up.bend:80

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

80# a tool with the pin the joint ledger gives its name
81def tool.back.at(own: M.Tool, joint: M.Tool) -> M.Tool:
82  M.Tool{nn, ee, bb, os} = own
83  M.Tool{_jn, _je, _jb, js} = joint
84  M.Tool{nn, ee, bb, source.back(os, js)}