def hop.within
import ezx@1.11.0.0/src/ws/hop.bend as Hopimport 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
19# the root a member found, once it is known whether that is where ez runs
20def hop.within(+top: String, root: List<&2, String>, rel: List<&2, String>) -> Hop:
21 match rel:
22 case []:
23 Here{}
24 case _hd <> _tl:
25 Hop{P.join(top, W.segs.text(root))}