Plan.says: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/add/plan.bend as Plan
Lines 551-557 of ezx@1.11.0.0/src/add/plan.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/add/plan.bend&start_line=551&end_line=557

import Base
import ezx@1.11.0.0/src/add/world.bend as A
import ezx@1.11.0.0/src/lock/plan.bend as P
import ezx@1.11.0.0/src/git/git.bend as Git

# the lines a person is told: the commit a tag or branch turned out to be,
# and the import line the package is now reachable by, for the entry at `at`
# inside it. `Git.import.line` is the line `ez publish` prints too.
def says(+hash: String, +at: String, +world: A.World) -> List<&2, P.Effect>:
  +line = Git.import.line(hash, at)
  Bool.pick(List<&2, P.Effect>, String.is_empty(tag(world)), [P.Say{line}],
    [P.Say{tag(world) ++ " is " ++ rev(world)}, P.Say{line}])

Uses (10):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.pick
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  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/add/plan.bend&name=rev
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/add/plan.bend&name=tag
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/add/world.bend&name=World
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/git/git.bend&name=import.line
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/plan.bend&name=Effect