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

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

# the library, once it is known whether the environment sets one
def lib.found(set: Bool, +top: String, found: R.Found) -> Lib:
  match set:
    case True{}:
      Keep{}
    case False{}:
      match found:
        case R.Alone{}:
          Keep{}
        case R.Within{root, rel}:
          lib.within(top, root, rel)
        case R.Broken{_why}:
          Keep{}

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