def pad

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

import Base

298def pad(count: Nat, dims: List<&2, Nat>) -> List<&2, Nat>:
299  match count:
300    case 0n:
301      dims
302    case 1n+rest:
303      1n <> pad(rest, dims)