def unpad

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

import Base

305def unpad(+count: Nat, +dims: List<&2, Nat>, coordinate: Coordinate(pad(count, dims))) -> Coordinate(dims):
306  match count:
307    case 0n:
308      coordinate
309    case 1n+rest:
310      CStep{index, tail} = coordinate
311      unpad(rest, dims, tail)