def render_after_separator_array_many

qasim-bend-kit@0.1.0.2 · proof/JSON_SourceProof.bend:738

import Base
import qasim-bend-kit@0.1.0.2/libs/JSON.bend as J

738def render_after_separator_array_many(+head: J.Value,
739                                      +next: J.Value,
740                                      +tail: List<&2, J.Value>,
741                                      +suffix: String) -> {render_after_separator(J.Arr{head <> next <> tail}, suffix) == render_task(head, RenderWhole{}, "," ++ render_after_separator(J.Arr{next <> tail}, suffix)) : String}:
742    Equal.trans(String,
743        render_after_separator(J.Arr{head <> next <> tail}, suffix),
744        J.render(head, False{}, SNil{}) ++
745            (separator_text(J.Arr{next <> tail}) ++ render_after_separator(J.Arr{next <> tail}, suffix)),
746        render_task(head, RenderWhole{}, "," ++ render_after_separator(J.Arr{next <> tail}, suffix)),
747        render_after_separator_array_decompose(head, next <> tail, suffix),
748        render_task_append(head, RenderWhole{}, SNil{}, "," ++ render_after_separator(J.Arr{next <> tail}, suffix)))