Slice.Planned: type of bendtorch-core@0.1.0.0
Import: import bendtorch-core@0.1.0.0/src/tensor/slice.bend as Slice
Lines 176-178 of bendtorch-core@0.1.0.0/src/tensor/slice.bend: https://jend.leeeet.dev/read.txt?path=bendtorch-core@0.1.0.0/src/tensor/slice.bend&start_line=176&end_line=178

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

# A slice the checks accept: its plan and its output shape.
type Planned is Data:
  Planned{plan: Plan, output: Shape.Shape}

Uses (2):
  https://jend.leeeet.dev/definition.txt?path=bendtorch-core@0.1.0.0/src/shape/core.bend&name=Shape
  https://jend.leeeet.dev/definition.txt?path=bendtorch-core@0.1.0.0/src/tensor/slice.bend&name=Plan