Errno.err.plain: def of ezsys@0.1.0.0
Import: import ezsys@0.1.0.0/src/errno.bend as Errno
Lines 129-133 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=129&end_line=133

import Base

# any other character: a backslash or the quote escaped, else itself
def err.plain(+qt: Char, +cp: U32) -> String:
  err.when(U32.is_eq(cp, 92), _u => "\\\\",
    _u => err.when(Char.is_eq(Chr{cp}, qt), _v => SCon{'\\', SCon{qt, SNil{}}},
      _v => SCon{Chr{cp}, SNil{}}))

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Char
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Char.is_eq
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.is_eq
  https://jend.leeeet.dev/definition.txt?path=ezsys@0.1.0.0/src/errno.bend&name=err.when