def outside
import ezx@1.11.0.0/src/pkg/pkg.bend as Pkgimport Base
import ezx@1.11.0.0/src/pkg/path.bend as P
781# a checkout-relative path that climbs above the checkout's top
782def outside(+at: String) -> Bool:
783 +n = P.norm(at)
784 Bool.or(String.eq(n, ".."), String.starts_with(n, "../"))