Plan.top: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/tool/plan.bend as Plan
Lines 343-345 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=343&end_line=345

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

# where the checkout is
def top(+world: TW.World) -> String:
  top.of(place(world), world)

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  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/plan.bend&name=top.of
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/tool/world.bend&name=World