def tool.tip

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

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

1020def tool.tip(tip: Tip, +rs: List<&2, Reply>, +tool: M.Tool) -> Pinned:
1021  match tip:
1022    case At{+rev, tag, branch}:
1023      tool.same(String.eq(M.source.rev(M.tool.source(tool)), rev), rs, tool, rev,
1024        tag, branch)
1025    case TipWait{ask}:
1026      PinWait{[ask]}
1027    case TipNo{why}:
1028      PinHalt{why}