def pad_words

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

import Base

784def pad_words(count: Nat, dims: List<&2, U32>) -> List<&2, U32>:
785  match count:
786    case 0n:
787      dims
788    case 1n+rest:
789      1 <> pad_words(rest, dims)