def scan_boundary

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

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
import qasim-bend-kit@0.1.0.2/proof/JSON_LexWhitespaceProof.bend as W

192def scan_boundary(+boundary: Boundary,
193                  +acc: List<&2, J.Lexeme>) -> {J.lex_scan(boundary_text(boundary), J.Outside{}, SNil{}, acc) == finish(boundary, acc) : List<&2, J.Lexeme>}:
194    match boundary:
195        case End{}: {==}
196        case Delimited{mark, suffix}:
197            W.scan_punctuation_char(SP.punctuation_char(mark), suffix, SNil{}, acc, SP.punctuation_action(mark, suffix))