string.md

View this file with results and syntax highlighting here.

Double Quote (")

"str": String

→full documentation

Literal notation for a string, or list of characters. Double quotes must be escaped by writing them twice. Any other characters can be included directly.

    2 ⊑ "string"

    2 ⊑ "ab""cd"