def entry.dir

ezx@1.11.0.0 · src/ws/workspace.bend:76

import Base

76# the directory an entry names, or the one it names the directories under
77def entry.dir(entry: Entry) -> List<&2, String>:
78  match entry:
79    case Plain{ds}:
80      ds
81    case Under{ds}:
82      ds