law append_assoc

bend-lawful-stdlib@0.1.0.0 · src/list.bend:36

import Base

36law append_assoc:
37  for -A: Data
38  for a: List<&2, A>
39  for -b: List<&2, A>
40  for -c: List<&2, A>
41  {List.append(&2, A, a, List.append(&2, A, b, c)) == List.append(&2, A, List.append(&2, A, a, b), c) : List<&2, A>}