law append_assoc

bend-collections@1.0.0.0 · proofs/crypto/sha/list_proofs.bend:3

import Base

3law append_assoc:
4  for -A: Data
5  for xs: List<&2, A>
6  for ys: List<&2, A>
7  for zs: List<&2, A>
8  {List.append(&2, A, List.append(&2, A, xs, ys), zs)
9    == List.append(&2, A, xs, List.append(&2, A, ys, zs)) : List<&2, A>}