Nar.build: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/sha/nar.bend as Nar
Lines 434-439 of ezx@1.11.0.0/src/sha/nar.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/sha/nar.bend&start_line=434&end_line=439

import Base

# the node of a directory, from its paths in the order `find` lists them. Each
# step places a path or closes a directory, and each directory is closed
# once, so twice the paths and two more is fuel enough.
def build(+es: List<&2, Ent>) -> Maybe<&2, String>:
  +n = List.length(&2, Ent, es)
  build.go(Nat.add(Nat.add(n, n), 2n), Next{State{es, Frame{"", "", []}, []}})

Uses (10):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List.length
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.add
  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/sha/nar.bend&name=Ent
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/sha/nar.bend&name=Frame
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/sha/nar.bend&name=Move
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/sha/nar.bend&name=State
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/sha/nar.bend&name=build.go