def reverse_concat

qasim-bend-kit@0.1.0.2 · proof/JSON_RenderLexProof.bend:11

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

11def reverse_concat(+xs: List<&2, J.Lexeme>,
12                   +ys: List<&2, J.Lexeme>,
13                   +acc: List<&2, J.Lexeme>) -> {List.reverse.go(&2, J.Lexeme, List.append(&2, J.Lexeme, xs, ys), acc) == List.reverse.go(&2, J.Lexeme, ys, List.reverse.go(&2, J.Lexeme, xs, acc)) : List<&2, J.Lexeme>}:
14    match xs:
15        case Nil{}: {==}
16        case h <> t: reverse_concat(t, ys, h <> acc)