law append_assoc

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

import Base

17law append_assoc:
18  for +xs: List<&2, U32>
19  for +ys: List<&2, U32>
20  for +zs: List<&2, U32>
21  {List.append(&2, U32, List.append(&2, U32, xs, ys), zs) == List.append(&2, U32, xs, List.append(&2, U32, ys, zs)) : List<&2, U32>}