~/jendhub

def DynamicSumMeaning

bendtorch-core@0.1.0.0 · src/tensor/reduction_LAWS.bend:138

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

138def DynamicSumMeaning(-original: Core.Dynamic, result: Result<&2, &1, Core.Error, Core.Dynamic & Core.Dynamic>) -> Data:
139  match result:
140    case Fail{error}:
141      Unit
142    case Done{pair}:
143      (retained, scalar) = pair
144      DynamicSumSuccess<original, retained, scalar>

Uses (7)

Used by (1)