Render.tool.ok: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/ledger/render.bend as Render
Lines 219-222 of ezx@1.11.0.0/src/ledger/render.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/ledger/render.bend&start_line=219&end_line=222

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

# whether a pinned CLI does
def tool.ok(pin: M.Tool) -> Bool:
  M.Tool{+n, +e, +b, s} = pin
  Bool.and(clean(n), Bool.and(Bool.and(clean(e), clean(b)), tool.src.ok(s)))

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.and
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ledger/manifest.bend&name=Tool
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ledger/render.bend&name=clean
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ledger/render.bend&name=tool.src.ok