def tool.name

import ezx@1.11.0.0/src/ledger/manifest.bend as Manifest

import Base

172# a tool's own name
173def tool.name(pin: Tool) -> String:
174  Tool{n, _e, _b, _s} = pin
175  n

Uses (2)