def err.quote
import ezsys@0.1.0.0/src/errno.bend as Errnoimport Base
94# the quote repr picks for a path
95def err.quote(+path: String) -> Char:
96 err.quote.pick(Bool.and(String.contains(path, "'"),
97 Bool.not(String.contains(path, "\""))))
import ezsys@0.1.0.0/src/errno.bend as Errnoimport Base
94# the quote repr picks for a path
95def err.quote(+path: String) -> Char:
96 err.quote.pick(Bool.and(String.contains(path, "'"),
97 Bool.not(String.contains(path, "\""))))