Hop.lock: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/ws/hop.bend as Hop
Lines 104-113 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=104&end_line=113

import Base
import ezx@1.11.0.0/src/ws/root.bend as R

# the lock a command run in a directory reads: the root's, which is the only
# one a workspace has, or its own in a project of its own and at the root
def lock(+top: String, found: R.Found) -> String:
  match found:
    case R.Alone{}:
      "ez.lock.toml"
    case R.Within{root, rel}:
      lock.within(top, root, rel)
    case R.Broken{_why}:
      "ez.lock.toml"

Uses (3):
  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/ws/hop.bend&name=lock.within
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/root.bend&name=Found