def sole_target

bendtorch-core@0.1.0.0 · src/autograd/tensor_backward_LAWS.bend:120

import Base
import bendtorch-core@0.1.0.0/src/autograd/tensor_backward.bend as Backward

120def sole_target(found: Maybe<&1, Backward.Contribution>) -> Maybe<&2, Nat>:
121  match found:
122    case None{}:
123      None{}
124    case Some{Backward.Contribution{target, shape, gradient}}:
125      Some{target}