Hop.hop.within: def of ezx@1.13.0.0
Import: import ezx@1.13.0.0/src/ws/hop.bend as Hop
Lines 19-25 of ezx@1.13.0.0/src/ws/hop.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.13.0.0/src/ws/hop.bend&start_line=19&end_line=25

import Base
import ezx@1.13.0.0/src/pkg/path.bend as P
import ezx@1.13.0.0/src/ws/workspace.bend as W

# the root a member found, once it is known whether that is where ez runs
def hop.within(+top: String, root: List<&2, String>, rel: List<&2, String>) -> Hop:
  match rel:
    case []:
      Here{}
    case _hd <> _tl:
      Hop{P.join(top, W.segs.text(root))}

Uses (5):
  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=ezx@1.13.0.0/src/pkg/path.bend&name=join
  https://jend.leeeet.dev/definition.txt?path=ezx@1.13.0.0/src/ws/hop.bend&name=Hop
  https://jend.leeeet.dev/definition.txt?path=ezx@1.13.0.0/src/ws/workspace.bend&name=segs.text