JSONLexWhitespaceProof.after_reversed: def of qasim-bend-kit@0.1.0.2
Import: import qasim-bend-kit@0.1.0.2/proof/JSON_LexWhitespaceProof.bend as JSONLexWhitespaceProof
Lines 17-27 of qasim-bend-kit@0.1.0.2/proof/JSON_LexWhitespaceProof.bend: https://jend.leeeet.dev/read.txt?path=qasim-bend-kit@0.1.0.2/proof/JSON_LexWhitespaceProof.bend&start_line=17&end_line=27

import Base
import qasim-bend-kit@0.1.0.2/libs/JSON.bend as J

def after_reversed(action: J.LexAction, head: Char, reversed: String) -> String:
    match action:
        case J.LexBackslash{}: SCon{'\\', reversed}
        case J.LexEscapedChar{}: SCon{head, reversed}
        case J.LexStringEnd{}: SNil{}
        case J.LexStringChar{}: SCon{head, reversed}
        case J.LexQuote{}: SCon{'"', SNil{}}
        case J.LexWhitespace{}: SNil{}
        case J.LexPunctuation{_}: SNil{}
        case J.LexRaw{}: SCon{head, reversed}
        case J.LexStop{}: SCon{head, reversed}

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Char
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=qasim-bend-kit@0.1.0.2/libs/JSON.bend&name=LexAction