Up.set.go: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/lock/up.bend as Up
Lines 842-862 of ezx@1.11.0.0/src/lock/up.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/lock/up.bend&start_line=842&end_line=862

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

# the pin with a commit and a NAR hash written in. An empty tag leaves the one
# the ledger already had. The vendor bit is off: a tool is not committed under
# `.ez/lib`.
def set.go(
  +name: String,
  +entry: String,
  +bin: String,
  source: M.Source,
  +rev: String,
  +tag: String,
  +nar: String
) -> M.Tool:
  match source:
    case M.Hub{named}:
      M.Tool{name, entry, bin, M.Hub{named}}
    case M.Git{url, _rev, old, root, _nar, _vend}:
      M.Tool{name, entry, bin, M.Git{url, rev,
        Bool.pick(String, String.is_empty(tag), old, tag), M.root.or(root),
        nar, False{}}}
    case M.Member{path, named}:
      M.Tool{name, entry, bin, M.Member{path, named}}

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.pick
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.is_empty
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ledger/manifest.bend&name=Source
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ledger/manifest.bend&name=Tool
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ledger/manifest.bend&name=root.or