def empty_object_end

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

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

370def empty_object_end(+mode: SP.RenderMode,
371                     +acc: List<&2, J.Lexeme>) -> {J.lex_scan(SP.render_task(J.Obj{Nil{}}, mode, SNil{}), J.Outside{}, SNil{}, acc) == finish(End{}, push(J.Obj{Nil{}}, mode, acc)) : List<&2, J.Lexeme>}:
372    match mode:
373        case SP.RenderWhole{}: {==}
374        case SP.RenderMembers{}: {==}
375        case SP.RenderAfterSeparator{}: {==}