Casts JsonValue to JsonString.
JsonValue
JsonString
Converts JSON value.
x.convert converts a value x of type T to type U
x.convert
x
T
U