def drop_zero

bendtorch-core@0.1.0.0 · src/shape/broadcast_proofs.bend:180

import Base

180def drop_zero(+values: List<&2, Nat>) -> {values == List.drop(&2, Nat, values, 0n) : List<&2, Nat>}:
181  match values:
182    case Nil{}:
183      {==}
184    case head <> tail:
185      {==}