law append_nil

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

import Base

23law append_nil:
24  for -A: Data
25  for xs: List<&2, A>
26  {xs == List.append(&2, A, xs, Nil{}) : List<&2, A>}