law drop_zero

lawful-bytes@0.1.1.0 · proof_same.bend:38

import Base

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