# Functions

EncodeString writes a string literal to b as a JSON string.