def slice_kept

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

import Base
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

1423def slice_kept(node: Node, entries: List<&1, Entry>, result: Result<&2, &1, Slice.Error, Core.Dynamic>) ->
1424  Tape & Result<&2, &2, Error, Nat>:
1425  match result:
1426    case Fail{error}:
1427      (Tape{entries}, Fail{SliceError{error}})
1428    case Done{output}:
1429      push(node, output, Unsaved{}, entries)