Errno.err.quote: def of ezsys@0.1.0.0 Import: import ezsys@0.1.0.0/src/errno.bend as Errno Lines 94-97 of ezsys@0.1.0.0/src/errno.bend: https://jend.leeeet.dev/read.txt?path=ezsys@0.1.0.0/src/errno.bend&start_line=94&end_line=97 import Base # the quote repr picks for a path def err.quote(+path: String) -> Char: err.quote.pick(Bool.and(String.contains(path, "'"), Bool.not(String.contains(path, "\"")))) Uses (6): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.and https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.not https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Char https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.contains https://jend.leeeet.dev/definition.txt?path=ezsys@0.1.0.0/src/errno.bend&name=err.quote.pick