def render.pick

ezx@1.11.0.0 · src/lock/lock.bend:620

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

620# the same, told whether the tool list is empty
621def render.pick(empty: Bool, hub: String, ps: List<&2, Pack>, ts: List<&2, M.Tool>) -> String:
622  match empty:
623    case True{}:
624      render(hub, ps)
625    case False{}:
626      render.tools(ts, hub, ps)