def render_array_whole_after_separator
qasim-bend-kit@0.1.0.2 · proof/JSON_SourceProof.bend:1343
import qasim-bend-kit@0.1.0.2/proof/JSON_SourceProof.bend as JSONSourceProof
import Base
import qasim-bend-kit@0.1.0.2/libs/JSON.bend as J
1343def render_array_whole_after_separator(+values: List<&2, J.Value>,
1344 +suffix: String) -> {J.render(J.Arr{values}, False{}, suffix) == "[" ++ render_after_separator(J.Arr{values}, suffix) : String}:
1345 match values:
1346 case Nil{}: {==}
1347 case head <> tail: {==}