def under.top
import ezx@1.11.0.0/src/sha/dump.bend as Dumpimport Base
36# a path of the tree, as the file effect is to open it
37def under.top(+top: String, +at: String) -> String:
38 Bool.pick(String, String.is_empty(at), top, top ++ "/" ++ at)
import ezx@1.11.0.0/src/sha/dump.bend as Dumpimport Base
36# a path of the tree, as the file effect is to open it
37def under.top(+top: String, +at: String) -> String:
38 Bool.pick(String, String.is_empty(at), top, top ++ "/" ++ at)