def reverse_source_text

qasim-bend-kit@0.1.0.2 · proof/JSON_SourceProof.bend:376

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

376def reverse_source_text(+text: String,
377                        +suffix: List<&2, J.Lexeme>) -> {List.reverse(&2, J.Lexeme, J.source_text(text, suffix)) == List.append(&2, J.Lexeme, List.reverse(&2, J.Lexeme, suffix), J.Payload{text} <> Nil{}) : List<&2, J.Lexeme>}:
378    LP.reverse_cons(J.Lexeme, J.Payload{text}, suffix)