def lock.needs

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

import Base

201# whether a ledger with this many dependencies needs a lock that names some
202def lock.needs(deps: Nat) -> Bool:
203  match deps:
204    case 0n:
205      False{}
206    case 1n+_n:
207      True{}