law Deque.lemma.append_nil

bend-kit-collections@0.1.4.1 · deque.bend:212

import Base

212law Deque.lemma.append_nil:
213  for -A: Data
214  for  xs: List<&2, A>
215  {List.append(&2, A, xs, Nil{}) == xs : List<&2, A>}