law take_zero

lawful-bytes@0.1.1.0 · proof_seq.bend:11

import Base

11law take_zero:
12  for +xs: List<&2, U32>
13  {List.take(&2, U32, xs, 0n) == Nil{} : List<&2, U32>}