def array_continuation_text

qasim-bend-kit@0.1.0.2 · proof/JSON_RenderLexProof.bend:278

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_SourceProof.bend as SP

278def array_continuation_text(+values: List<&2, J.Value>,
279                            +boundary: Boundary) -> {SP.render_task(J.Arr{values}, SP.RenderMembers{}, boundary_text(boundary)) == boundary_text(array_continuation(values, boundary)) : String}:
280    match values:
281        case Nil{}: {==}
282        case head <> tail: {==}