def source_text_append

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

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

274def source_text_append(+text: String,
275                       +first: List<&2, J.Lexeme>,
276                       +second: List<&2, J.Lexeme>) -> {J.source_text(text, List.append(&2, J.Lexeme, first, second)) == List.append(&2, J.Lexeme, J.source_text(text, first), second) : List<&2, J.Lexeme>}:
277    {==}