law append_assoc

lawful-fields@0.1.1.0 · proof_list.bend:26

import Base

26law append_assoc:
27  for +xs: List<&2, U32>
28  for +ys: List<&2, U32>
29  for +zs: List<&2, U32>
30  {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>}