law append_assoc

lawful-bytes@0.1.1.0 · proof_append.bend:33

import Base

33law append_assoc:
34  for +xs: List<&2, U32>
35  for +ys: List<&2, U32>
36  for +zs: List<&2, U32>
37  {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>}