Hub.top.at: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/add/hub.bend as Hub
Lines 202-209 of ezx@1.11.0.0/src/add/hub.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/add/hub.bend&start_line=202&end_line=209

import Base

# this file when it is a top-level `.bend` file, else the rest's. The rest
# arrives as a thunk, so the first one ends the scan.
def top.at(hit: Bool, +at: String, rest: Unit -> String) -> String:
  match hit:
    case True{}:
      at
    case False{}:
      rest(Unit{})

Uses (3):
  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=Base/base.bend&name=Unit