def tool.sect

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

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

571# one `[tools.<name>]` table
572def tool.sect(pin: M.Tool) -> T.Sect:
573  M.Tool{n, e, b, s} = pin
574  T.Sect{"tools." ++ n, tool.pairs(e, b, s)}