law slice_planned

bendtorch-core@0.1.0.0 · src/tensor/slice_LAWS.bend:217

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

217law slice_planned:
218  for +input: Shape.Shape
219  for +dim: U32
220  for +start: U32
221  for +stop: U32
222  for +step: U32
223  PlannedAs(Shape.dimensions(input), dim, start, stop, step, Slice.plan(input, dim, start, stop, step))