def tool.sects

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

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

576# every pinned CLI, in the order the ledger holds them
577def tool.sects(ts: List<&2, M.Tool>) -> List<&2, T.Sect>:
578  match ts:
579    case []:
580      []
581    case h <> t:
582      tool.sect(h) <> tool.sects(t)