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

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

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

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