def build

ezx@1.11.0.0 · src/sha/nar.bend:434

import Base

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