def with_extent
import stelliferous@0.0.2.0/tensor_layout.bend as TensorLayoutimport Base
314def with_extent(extents: List<&2,U32>,axis: Nat,+extent: U32) -> List<&2,U32>:
315 List.set(&2,U32,extents,axis,extent)
import stelliferous@0.0.2.0/tensor_layout.bend as TensorLayoutimport Base
314def with_extent(extents: List<&2,U32>,axis: Nat,+extent: U32) -> List<&2,U32>:
315 List.set(&2,U32,extents,axis,extent)