law drop_zero

lawful-bytes@0.1.1.0 · proof_find.bend:37

import Base

37law drop_zero:
38  for +xs: List<&2, U32>
39  {List.drop(&2, U32, xs, 0n) == xs : List<&2, U32>}