def rev_cons

bend-collections-laws-crypto@1.0.0.0 · proofs/crypto/secp256k1/bytes.bend:86

import Base

86def rev_cons(+x: U32, +t: List<&2, U32>) -> {List.reverse(&2, U32, x <> t) == List.append(&2, U32, List.reverse(&2, U32, t), [x]) : List<&2, U32>}:
87  rev_go(t, [x])