Nar.step: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/sha/nar.bend as Nar
Lines 413-420 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=413&end_line=420

import Base

# one step of the build
def step(st: State) -> Move:
  State{es, +top, up} = st
  match es:
    case []:
      close(top, up, [])
    case +e <> t:
      step.ent(String.eq(ent.at(e), under(frame.at(top), ent.name(e))), e, t, top, up)

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=String.eq
  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=close
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/sha/nar.bend&name=ent.at
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/sha/nar.bend&name=ent.name
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/sha/nar.bend&name=frame.at
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/sha/nar.bend&name=step.ent
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/sha/nar.bend&name=under