~/jendhub

def padded

bendtorch-core@0.1.0.0 · src/tensor/batched_matmul_LAWS.bend:363

import bendtorch-core@0.1.0.0/src/tensor/batched_matmul_LAWS.bend as BatchedMatmulLAWS
import Base
import bendtorch-core@0.1.0.0/src/shape/core.bend as Shape

363# Extents padded with ones on the left to `rank`.
364def padded(+rank: Nat, +dims: List<&2, Nat>) -> List<&2, Nat>:
365  Shape.pad(Nat.sub(rank, List.length(&2, Nat, dims)), dims)

Uses (5)

Used by (1)