Path.join.at: def of ezx@1.13.0.0
Import: import ezx@1.13.0.0/src/pkg/path.bend as Path
Lines 130-139 of ezx@1.13.0.0/src/pkg/path.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.13.0.0/src/pkg/path.bend&start_line=130&end_line=139

import Base

# the path before it is normalised: the second alone when there is no
# directory to take it relative to, the two spliced otherwise. Split out so
# that `norm` runs once. Under a `Bool.pick` both arms were built, so every
# join paid two full component walks and one concatenation it threw away.
def join.at(bare: Bool, left: String, right: String) -> String:
  match bare:
    case True{}:
      right
    case False{}:
      left ++ "/" ++ right

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  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