Errno.err.quote.pick: def of ezsys@0.1.0.0 Import: import ezsys@0.1.0.0/src/errno.bend as Errno Lines 86-92 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=86&end_line=92 import Base # the quote a path is written between: " when it holds a ' and no ", else ' def err.quote.pick(dq: Bool) -> Char: match dq: case True{}: '"' case False{}: '\'' Uses (2): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Char