def empty_array_end

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

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

343def empty_array_end(+mode: SP.RenderMode,
344                    +acc: List<&2, J.Lexeme>) -> {J.lex_scan(SP.render_task(J.Arr{Nil{}}, mode, SNil{}), J.Outside{}, SNil{}, acc) == finish(End{}, push(J.Arr{Nil{}}, mode, acc)) : List<&2, J.Lexeme>}:
345    match mode:
346        case SP.RenderWhole{}: {==}
347        case SP.RenderMembers{}: {==}
348        case SP.RenderAfterSeparator{}: {==}