def reverse_source_array_after_separator_whole_list

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

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

1338def reverse_source_array_after_separator_whole_list(+values: List<&2, J.Value>) -> {reverse_source_task(J.Arr{values}, RenderWhole{}) == List.append(&2, J.Lexeme, reverse_source_task(J.Arr{values}, RenderAfterSeparator{}), J.Punctuation{'['} <> Nil{}) : List<&2, J.Lexeme>}:
1339    match values:
1340        case Nil{}: {==}
1341        case head <> tail: reverse_source_array_after_separator_whole(head, tail)