Hop.lib.within: def of ezx@1.13.0.0
Import: import ezx@1.13.0.0/src/ws/hop.bend as Hop
Lines 61-67 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=61&end_line=67

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 lib.within(+top: String, root: List<&2, String>, rel: List<&2, String>) -> Lib:
  match rel:
    case []:
      Keep{}
    case _hd <> _tl:
      Set{P.join(P.join(top, W.segs.text(root)), ".ez/lib")}

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=Lib
  https://jend.leeeet.dev/definition.txt?path=ezx@1.13.0.0/src/ws/workspace.bend&name=segs.text