def reverse_cons

qasim-bend-kit@0.1.0.2 · proof/JSON_StringProof.bend:30

import Base

30def reverse_cons(+head: Char,
31                 +tail: String) -> {String.reverse(SCon{head, tail}) == String.reverse(tail) ++ SCon{head, SNil{}} : String}:
32    reverse_go_append(tail, SNil{}, SCon{head, SNil{}})