law drop_zero

lawful-bytes@0.1.1.0 · proof_append.bend:48

import Base

48law drop_zero:
49  for +xs: List<&2, U32>
50  {List.drop(&2, U32, xs, 0n) == xs : List<&2, U32>}