~/jendhub

def deps.count

ezx@1.11.0.0 · src/doctor/plan.bend:145

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

145# how many dependencies a ledger names; one that did not read names none
146def deps.count(ledger: M.Read) -> Nat:
147  match ledger:
148    case M.Bad{_why}:
149      0n
150    case M.Good{m}:
151      List.length(&2, M.Dep, deps.of(m))

Uses (5)

Used by (1)