type Success
import bendtorch-core@0.1.0.0/src/autograd/gradient_LAWS.bend as GradientLAWSimport Base
import bendtorch-core@0.1.0.0/src/autograd/gradient.bend as Gradient
104type Success<-outcome: Gradient.Outcome> is Data:
105 Success{-successful: {accumulated(outcome) == True{} : Bool}}
Uses (3)
Used by (6)
- bendtorch-core@0.1.0.0/src/autograd/gradient_PROOF:held_checked_success
- bendtorch-core@0.1.0.0/src/autograd/gradient_PROOF:agreed_success
- bendtorch-core@0.1.0.0/src/autograd/gradient_PROOF:checked_success
- bendtorch-core@0.1.0.0/src/autograd/gradient_PROOF:held_checked_refusal
- bendtorch-core@0.1.0.0/src/autograd/gradient_PROOF:held_success
- …