Render.dep.ok: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/ledger/render.bend as Render
Lines 191-196 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=191&end_line=196

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

# whether a dependency does: it has a hash, but for a workspace member, and
# every name and value is clean
def dep.ok(dependency: M.Dep) -> Bool:
  M.Dep{+n, +h, +e, +s} = dependency
  Bool.and(Bool.and(clean(n), hash.ok(s, h)),
    Bool.and(clean(e), source.ok(s)))

Uses (6):
  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=Dep
  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=hash.ok
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ledger/render.bend&name=source.ok