def reverse_cons

qasim-bend-kit@0.1.0.2 · proof/JSON_ListProof.bend:36

import qasim-bend-kit@0.1.0.2/proof/JSON_ListProof.bend as JSONListProof

import Base

36def reverse_cons(-A: Data,
37                 +head: A,
38                 +tail: List<&2, A>) -> {List.reverse(&2, A, head <> tail) == List.append(&2, A, List.reverse(&2, A, tail), head <> Nil{}) : List<&2, A>}:
39    reverse_go_append(A, tail, Nil{}, head <> Nil{})

Uses (4)

Used by (6)