Plan.decide.pin: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/tool/plan.bend as Plan
Lines 1008-1016 of ezx@1.11.0.0/src/tool/plan.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/tool/plan.bend&start_line=1008&end_line=1016

import Base
import ezx@1.11.0.0/src/tool/world.bend as TW

# a pin at no commit cannot be built; its rev is a directory name, so it has
# to be one
def decide.pin(ok: Bool, +name: String, +rev: String, +world: TW.World) -> Verdict:
  match ok:
    case True{}:
      decide.place(place(world), world)
    case False{}:
      Stop{"ez: tools." ++ name ++ " in ez.lock.toml has no commit" ++
        Bool.pick(String, String.is_empty(rev), "", ": " ++ rev)}

Uses (9):
  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.append
  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/tool/plan.bend&name=Verdict
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/tool/plan.bend&name=decide.place
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/tool/plan.bend&name=place
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/tool/world.bend&name=World