law take_zero2

lawful-fields@0.1.1.0 · proof_list.bend:41

import Base

41law take_zero2:
42  for +ps: List<&2, List<&2, U32>>
43  {List.take(&2, List<&2, U32>, ps, 0n) == Nil{} : List<&2, List<&2, U32>>}