Member predicate TaintedPath :: Label :: PosixPath :: isNormalized
Holds if this path is normalized.
predicate
isNormalized
(
)