Dump.ents: def of ezx@1.13.0.0
Import: import ezx@1.13.0.0/src/sha/dump.bend as Dump
Lines 93-102 of ezx@1.13.0.0/src/sha/dump.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.13.0.0/src/sha/dump.bend&start_line=93&end_line=102

import Base
import ezx@1.13.0.0/src/sha/nar.bend as Nar

# every path of the listing, read
def ents(+top: String, rs: List<&2, Nar.Row>) -> IO(List<&2, Nar.Ent>):
  match rs:
    case []:
      IO.pure(List<&2, Nar.Ent>, [])
    case +h <> t:
      do IO<List<&2, Nar.Ent>>:
        e : Nar.Ent <- ent.of(top, h)
        rest : List<&2, Nar.Ent> <- ents(top, t)
        return e <> rest

Uses (8):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.bind
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.pure
  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.13.0.0/src/sha/dump.bend&name=ent.of
  https://jend.leeeet.dev/definition.txt?path=ezx@1.13.0.0/src/sha/nar.bend&name=Ent
  https://jend.leeeet.dev/definition.txt?path=ezx@1.13.0.0/src/sha/nar.bend&name=Row