def slice_planned

bendtorch-core@0.1.0.0 · src/autograd/tensor_backward.bend:1431

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

1431def slice_planned(+a: Nat, +shape: Shape.Shape, entries: List<&1, Entry>, result: Result<&2, &1, Slice.Error, Core.Dynamic>,
1432  planned: Result<&2, &2, Slice.Error, Slice.Planned>) -> Tape & Result<&2, &2, Error, Nat>:
1433  match planned:
1434    case Fail{error}:
1435      (Tape{entries}, Fail{SliceError{error}})
1436    case Done{Slice.Planned{+plan, +kept}}:
1437      slice_kept(Slice{a, shape, kept, plan}, entries, result)