def raw_string_seed

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

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

189def raw_string_seed(+character: Char,
190                    +tail: String,
191                    classifier: {J.Raw{} == J.escape_class(character) : J.EscapeClass}) -> {J.lex_seed_action(SCon{character, tail}, J.Quoted{}) == J.LexStringChar{} : J.LexAction}:
192    Equal.trans(J.LexAction, J.lex_seed_action(SCon{character, tail}, J.Quoted{}),
193        J.quote_lex_action(J.quote_action_from_class(J.escape_class(character))), J.LexStringChar{},
194        {==},
195        Equal.cong(J.EscapeClass, J.LexAction, class => J.quote_lex_action(J.quote_action_from_class(class)),
196            J.escape_class(character), J.Raw{}, Equal.sym(J.EscapeClass, J.Raw{}, J.escape_class(character), classifier)))