def plan_built

bendtorch-core@0.1.0.0 · src/autograd/sum_dims.bend:89

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/autograd/reduce.bend as Reduce

89def plan_built(-kept: List<&2, U32>, +dropped: List<&2, U32>, built: Shape.ConstructResult<kept>) -> Result<&2, &2, Error, Plan>:
90  match built:
91    case Shape.SError{error}:
92      Fail{ReduceError{Reduce.TensorError{Core.ShapeError{error}}}}
93    case Shape.SBuilt{+shape, preserved}:
94      Done{Plan{shape, dropped}}