def sum_checked

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

import Base
import bendtorch-core@0.1.0.0/src/tensor/core.bend as Core

141def sum_checked(input: Core.Dynamic, keepdim: Bool, planned: Result<&2, &2, Error, Plan>) ->
142  Core.Dynamic & Result<&2, &1, Error, Core.Dynamic>:
143  match planned:
144    case Fail{error}:
145      (input, Fail{error})
146    case Done{plan}:
147      sum_planned(input, plan, keepdim)