def array_resume

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

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

284def array_resume(+values: List<&2, J.Value>,
285                 +boundary: Boundary,
286                 +acc: List<&2, J.Lexeme>,
287                 tail_lex: {J.lex_scan(SP.render_task(J.Arr{values}, SP.RenderAfterSeparator{}, boundary_text(boundary)), J.Outside{}, SNil{}, J.Punctuation{','} <> acc) == finish(boundary, push(J.Arr{values}, SP.RenderAfterSeparator{}, J.Punctuation{','} <> acc)) : List<&2, J.Lexeme>}) -> {finish(array_continuation(values, boundary), acc) == finish(boundary, push(J.Arr{values}, SP.RenderMembers{}, acc)) : List<&2, J.Lexeme>}:
288    match values:
289        case Nil{}: scan_boundary(boundary, J.Punctuation{']'} <> acc)
290        case head <> tail: tail_lex