def quoted_buffer_payload
qasim-bend-kit@0.1.0.2 · proof/JSON_LexWhitespaceProof.bend:317
import qasim-bend-kit@0.1.0.2/proof/JSON_LexWhitespaceProof.bend as JSONLexWhitespaceProof
import Base
import qasim-bend-kit@0.1.0.2/libs/JSON.bend as J
import qasim-bend-kit@0.1.0.2/proof/JSON_StringProof.bend as S
317def quoted_buffer_payload(+text: String) -> {String.reverse(SCon{'"', escape_reverse(text, SCon{'"', SNil{}})}) == SCon{'"', J.escape_string(text) ++ SCon{'"', SNil{}}} : String}:
318 Equal.trans(String,
319 String.reverse(SCon{'"', escape_reverse(text, SCon{'"', SNil{}})}),
320 String.reverse(escape_reverse(text, SCon{'"', SNil{}})) ++ SCon{'"', SNil{}},
321 SCon{'"', J.escape_string(text) ++ SCon{'"', SNil{}}},
322 S.reverse_cons('"', escape_reverse(text, SCon{'"', SNil{}})),
323 Equal.trans(String,
324 String.reverse(escape_reverse(text, SCon{'"', SNil{}})) ++ SCon{'"', SNil{}},
325 (SCon{'"', SNil{}} ++ J.escape_string(text)) ++ SCon{'"', SNil{}},
326 SCon{'"', J.escape_string(text) ++ SCon{'"', SNil{}}},
327 Equal.cong(String, String, value => value ++ SCon{'"', SNil{}},
328 String.reverse(escape_reverse(text, SCon{'"', SNil{}})),
329 SCon{'"', SNil{}} ++ J.escape_string(text),
330 escape_reverse_shape(text, SCon{'"', SNil{}})),
331 S.append_assoc(SCon{'"', SNil{}}, J.escape_string(text), SCon{'"', SNil{}})))