JSONSourceProof.punctuation_char: def of qasim-bend-kit@0.1.0.2
Import: import qasim-bend-kit@0.1.0.2/proof/JSON_SourceProof.bend as JSONSourceProof
Lines 226-231 of qasim-bend-kit@0.1.0.2/proof/JSON_SourceProof.bend: https://jend.leeeet.dev/read.txt?path=qasim-bend-kit@0.1.0.2/proof/JSON_SourceProof.bend&start_line=226&end_line=231

import Base

def punctuation_char(mark: JsonPunctuation) -> Char:
    match mark:
        case ArrayEnd{}: ']'
        case ObjectEnd{}: '}'
        case MemberComma{}: ','
        case KeyColon{}: ':'

Uses (2):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Char
  https://jend.leeeet.dev/definition.txt?path=qasim-bend-kit@0.1.0.2/proof/JSON_SourceProof.bend&name=JsonPunctuation