def extent_at

import bendtorch-core@0.1.0.0/src/tensor/slice.bend as Slice

import Base

100def extent_at(dimensions: List<&2, U32>, +dim: U32) -> Nat:
101  axis_extent(dimensions, U32.to_nat(dim))

Uses (5)