Dump.under.top: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/sha/dump.bend as Dump
Lines 36-38 of ezx@1.11.0.0/src/sha/dump.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/sha/dump.bend&start_line=36&end_line=38

import Base

# a path of the tree, as the file effect is to open it
def under.top(+top: String, +at: String) -> String:
  Bool.pick(String, String.is_empty(at), top, top ++ "/" ++ at)

Uses (4):
  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