Hub.top: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/add/hub.bend as Hub
Lines 211-217 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=211&end_line=217

import Base
import ezx@1.11.0.0/src/pkg/pkg.bend as K

# the first top-level `.bend` file, in manifest order, "" for none
def top(fs: List<&2, K.Item>) -> String:
  match fs:
    case []:
      ""
    case +h <> t:
      top.at(top.one(K.file.at(h)), K.file.at(h), _u => top(t))

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  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/add/hub.bend&name=top.at
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/add/hub.bend&name=top.one
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/pkg/pkg.bend&name=Item
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/pkg/pkg.bend&name=file.at