def succeeded

bendtorch-core@0.1.0.0 · src/autograd/broadcast_pointwise_LAWS.bend:11

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

11def succeeded(result: Core.Dynamic & Result<&2, &1, Broadcast.Error, Core.Dynamic>) -> Bool:
12  (input, outcome) = result
13  Result.is_done(&2, &1, Broadcast.Error, Core.Dynamic, outcome)