~/jendhub

type Stop

bendtorch-core@0.1.0.0 · src/autograd/tensor_chain_PROOF.bend:195

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

195# What a sweep from a push-side state does, with the pull side's answer when
196# it succeeds: done and gradients are the sweep's own outputs.
197type Stop<-entries: List<&1, Backward.Entry>, -error: Backward.Error, -count: Nat> is Data:
198  Stop{-done: List<&1, Backward.Entry>, swept: {Backward.sweep(entries, Fail{error}, count) == (done, Fail{error}) : Backward.Swept()}}

Uses (8)

Used by (4)