law append_nil

bend-collections-laws-crypto@1.0.0.0 · proofs/crypto/hash/lists.bend:5

import Base

5law append_nil:
6  for +xs: List<&2, U32>
7  {List.append(&2, U32, xs, Nil{}) == xs : List<&2, U32>}