def lex_scan_context

qasim-bend-kit@0.1.0.2 · proof/JSON_LexWhitespaceProof.bend:146

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

146def lex_scan_context(+text: String,
147                     +mode1: J.LexMode,
148                     +reversed1: String,
149                     +acc1: List<&2, J.Lexeme>,
150                     +mode2: J.LexMode,
151                     +reversed2: String,
152                     +acc2: List<&2, J.Lexeme>,
153                     mode_eq: {mode1 == mode2 : J.LexMode},
154                     reversed_eq: {reversed1 == reversed2 : String},
155                     acc_eq: {acc1 == acc2 : List<&2, J.Lexeme>}) -> {J.lex_scan(text, mode1, reversed1, acc1) == J.lex_scan(text, mode2, reversed2, acc2) : List<&2, J.Lexeme>}:
156    Equal.trans(List<&2, J.Lexeme>, J.lex_scan(text, mode1, reversed1, acc1),
157        J.lex_scan(text, mode2, reversed1, acc1), J.lex_scan(text, mode2, reversed2, acc2),
158        Equal.cong(J.LexMode, List<&2, J.Lexeme>, mode => J.lex_scan(text, mode, reversed1, acc1), mode1, mode2, mode_eq),
159        Equal.trans(List<&2, J.Lexeme>, J.lex_scan(text, mode2, reversed1, acc1),
160            J.lex_scan(text, mode2, reversed2, acc1), J.lex_scan(text, mode2, reversed2, acc2),
161            Equal.cong(String, List<&2, J.Lexeme>, reversed => J.lex_scan(text, mode2, reversed, acc1),
162                reversed1, reversed2, reversed_eq),
163            Equal.cong(List<&2, J.Lexeme>, List<&2, J.Lexeme>, acc => J.lex_scan(text, mode2, reversed2, acc),
164                acc1, acc2, acc_eq)))