def reverse_source_array_after_separator
qasim-bend-kit@0.1.0.2 · proof/JSON_SourceProof.bend:534
import qasim-bend-kit@0.1.0.2/proof/JSON_SourceProof.bend as JSONSourceProof
import Base
import qasim-bend-kit@0.1.0.2/libs/JSON.bend as J
534def reverse_source_array_after_separator(+head: J.Value,
535 +tail: List<&2, J.Value>) -> {reverse_source_task(J.Arr{head <> tail}, RenderAfterSeparator{}) == List.append(&2, J.Lexeme, reverse_source_task(J.Arr{tail}, RenderMembers{}), reverse_source_task(head, RenderWhole{})) : List<&2, J.Lexeme>}:
536 reverse_source_suffix(head, False{}, J.source(J.Arr{tail}, True{}, Nil{}))