type Success

bendtorch-core@0.1.0.0 · src/autograd/reduce_LAWS.bend:105

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

105type Success<-pair: Core.Dynamic & Result<&2, &1, Reduce.Error, Core.Dynamic>> is Data:
106  Success{-successful: {succeeded(pair) == True{} : Bool}}