def step.ent

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

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

398# the next path: placed when it is inside the directory on top, which closes
399# otherwise
400def step.ent(
401  inside: Bool,
402  +entry: Ent,
403  more: List<&2, Ent>,
404  top: Frame,
405  up: List<&2, Frame>
406) -> Move:
407  match inside:
408    case True{}:
409      place(String.eq(ent.kind(entry), "d"), ent.name(entry), ent.at(entry), leaf(entry), more, top, up)
410    case False{}:
411      close(top, up, entry <> more)

Uses (12)

Used by (1)