JSONLexWhitespaceProof.trailing_tab: 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 497-529 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=497&end_line=529

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

def trailing_tab(+text: String,
                 +mode: J.LexMode,
                 +reversed: String,
                 +acc: List<&2, J.Lexeme>) -> {J.lex_scan(text ++ "\t", mode, reversed, acc) == J.lex_scan(text, mode, reversed, acc) : List<&2, J.Lexeme>}:
    match text:
        case SNil{}:
            match mode:
                case J.Outside{}: {==}
                case J.Quoted{}: {==}
                case J.Escaped{}: {==}
        case SCon{head, tail}:
            Equal.trans(List<&2, J.Lexeme>, J.lex_scan(SCon{head, tail} ++ "\t", mode, reversed, acc),
                J.lex_scan(tail ++ "\t", after_mode(J.lex_seed_action(SCon{head, tail}, mode), mode),
                    after_reversed(J.lex_seed_action(SCon{head, tail}, mode), head, reversed),
                    after_acc(J.lex_seed_action(SCon{head, tail}, mode), head, reversed, acc)),
                J.lex_scan(SCon{head, tail}, mode, reversed, acc),
                lex_scan_step(head, tail ++ "\t", mode, reversed, acc),
                Equal.trans(List<&2, J.Lexeme>,
                    J.lex_scan(tail ++ "\t", after_mode(J.lex_seed_action(SCon{head, tail}, mode), mode),
                        after_reversed(J.lex_seed_action(SCon{head, tail}, mode), head, reversed),
                        after_acc(J.lex_seed_action(SCon{head, tail}, mode), head, reversed, acc)),
                    J.lex_scan(tail, after_mode(J.lex_seed_action(SCon{head, tail}, mode), mode),
                        after_reversed(J.lex_seed_action(SCon{head, tail}, mode), head, reversed),
                        after_acc(J.lex_seed_action(SCon{head, tail}, mode), head, reversed, acc)),
                    J.lex_scan(SCon{head, tail}, mode, reversed, acc),
                    trailing_tab(tail, after_mode(J.lex_seed_action(SCon{head, tail}, mode), mode),
                        after_reversed(J.lex_seed_action(SCon{head, tail}, mode), head, reversed),
                        after_acc(J.lex_seed_action(SCon{head, tail}, mode), head, reversed, acc)),
                    Equal.sym(List<&2, J.Lexeme>, J.lex_scan(SCon{head, tail}, mode, reversed, acc),
                        J.lex_scan(tail, after_mode(J.lex_seed_action(SCon{head, tail}, mode), mode),
                            after_reversed(J.lex_seed_action(SCon{head, tail}, mode), head, reversed),
                            after_acc(J.lex_seed_action(SCon{head, tail}, mode), head, reversed, acc)),
                        lex_scan_step(head, tail, mode, reversed, acc))))

Uses (13):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Equal.sym
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Equal.trans
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.append
  https://jend.leeeet.dev/definition.txt?path=qasim-bend-kit@0.1.0.2/libs/JSON.bend&name=LexMode
  https://jend.leeeet.dev/definition.txt?path=qasim-bend-kit@0.1.0.2/libs/JSON.bend&name=Lexeme
  https://jend.leeeet.dev/definition.txt?path=qasim-bend-kit@0.1.0.2/libs/JSON.bend&name=lex_scan
  https://jend.leeeet.dev/definition.txt?path=qasim-bend-kit@0.1.0.2/libs/JSON.bend&name=lex_seed_action
  https://jend.leeeet.dev/definition.txt?path=qasim-bend-kit@0.1.0.2/proof/JSON_LexWhitespaceProof.bend&name=after_acc
  https://jend.leeeet.dev/definition.txt?path=qasim-bend-kit@0.1.0.2/proof/JSON_LexWhitespaceProof.bend&name=after_mode
  https://jend.leeeet.dev/definition.txt?path=qasim-bend-kit@0.1.0.2/proof/JSON_LexWhitespaceProof.bend&name=after_reversed
  https://jend.leeeet.dev/definition.txt?path=qasim-bend-kit@0.1.0.2/proof/JSON_LexWhitespaceProof.bend&name=lex_scan_step