def json.str

import yaml-for-bend@0.1.1.0/value.bend as Value

import Base

261# A JSON string.
262def json.str(s: String) -> String:
263  "\"" ++ json.chars(s) ++ "\""

Uses (3)