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

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

# where a command runs, from what the search found. `top` is the top of the
# checkout, as git printed it.
def hop(+top: String, found: R.Found) -> Hop:
  match found:
    case R.Alone{}:
      Here{}
    case R.Within{root, rel}:
      hop.within(top, root, rel)
    case R.Broken{why}:
      Stop{why}

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