def reshape_renamed

bendtorch-core@0.1.0.0 · src/autograd/sum_dims_PROOF.bend:113

import Base
import bendtorch-core@0.1.0.0/src/tensor/core.bend as Core
import bendtorch-core@0.1.0.0/src/tensor/transforms.bend as Transforms
import bendtorch-core@0.1.0.0/src/autograd/sum_dims.bend as SumDims
import bendtorch-core@0.1.0.0/src/autograd/sum_dims_LAWS.bend as Laws

113def reshape_renamed(result: Result<&2, &1, Transforms.Error, Core.Dynamic>) ->
114  {SumDims.transformed(result) == Laws.reshape_as_sum(result) : Result<&2, &1, SumDims.Error, Core.Dynamic>}:
115  match result:
116    case Fail{error}:
117      {==}
118    case Done{output}:
119      {==}