~/jendhub

def tool.sel

ezx@1.11.0.0 · src/lock/up.bend:1074

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

1074# a selected tool is asked; the others are left
1075def tool.sel(sel: Bool, +rs: List<&2, Reply>, +tool: M.Tool) -> Pinned:
1076  match sel:
1077    case False{}:
1078      Pinned{tool, False{}, []}
1079    case True{}:
1080      tool.git(M.source.is_git(M.tool.source(tool)), rs, tool)

Uses (8)

Used by (1)