def tool.bin
import ezx@1.11.0.0/src/ledger/manifest.bend as Manifestimport Base
182# the file a pin names as its binary, or "" when the tool's ledger names it
183def tool.bin(pin: Tool) -> String:
184 Tool{_n, _e, b, _s} = pin
185 b
import ezx@1.11.0.0/src/ledger/manifest.bend as Manifestimport Base
182# the file a pin names as its binary, or "" when the tool's ledger names it
183def tool.bin(pin: Tool) -> String:
184 Tool{_n, _e, b, _s} = pin
185 b