def lex_false_before_punctuation

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

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

424def lex_false_before_punctuation(+punctuation: Char,
425                                 +suffix: String,
426                                 +acc: List<&2, J.Lexeme>,
427                                 action: {J.lex_seed_action(SCon{punctuation, suffix}, J.Outside{}) == J.LexPunctuation{punctuation} : J.LexAction}) -> {J.lex_scan("false" ++ (SCon{punctuation, SNil{}} ++ suffix), J.Outside{}, SNil{}, acc) == J.lex_scan(suffix, J.Outside{}, SNil{}, J.Punctuation{punctuation} <> J.Payload{"false"} <> acc) : List<&2, J.Lexeme>}:
428    Equal.trans(List<&2, J.Lexeme>,
429        J.lex_scan("false" ++ (SCon{punctuation, SNil{}} ++ suffix), J.Outside{}, SNil{}, acc),
430        J.lex_scan(SCon{punctuation, SNil{}} ++ suffix, J.Outside{}, "eslaf", acc),
431        J.lex_scan(suffix, J.Outside{}, SNil{}, J.Punctuation{punctuation} <> J.Payload{"false"} <> acc),
432        {==},
433        scan_punctuation_char(punctuation, suffix, "eslaf", acc, action))