def atomic_source_reverse

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

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

776def atomic_source_reverse(+atom: AtomicValue) -> {atomic_source(atom) == List.reverse(&2, J.Lexeme, J.source(atomic_value(atom), False{}, Nil{})) : List<&2, J.Lexeme>}:
777    match atom:
778        case AtomicNull{}: {==}
779        case AtomicTrue{}: {==}
780        case AtomicFalse{}: {==}
781        case AtomicNumber{text, certificate}: {==}
782        case AtomicString{text}: {==}