quote(value: str)
A double-quoted DOT string.
>>> quote('a "b" c\\d'), quote("two\nlines") ('"a \\"b\\" c\\\\d"', '"two\\nlines"')