def agreed_refusal
bendtorch-core@0.1.0.0 · src/autograd/gradient_PROOF.bend:824
import bendtorch-core@0.1.0.0/src/autograd/gradient_PROOF.bend as GradientPROOF
import Base
import bendtorch-core@0.1.0.0/src/shape/core.bend as Shape
import bendtorch-core@0.1.0.0/src/tensor/core.bend as Core
import bendtorch-core@0.1.0.0/src/tensor/elementwise_totality.bend as Totality
import bendtorch-core@0.1.0.0/src/autograd/gradient.bend as Gradient
import bendtorch-core@0.1.0.0/src/autograd/gradient_LAWS.bend as Laws
824def agreed_refusal(+shape: Shape.Shape, slot: Gradient.Slot, contribution: Core.Dynamic,
825 -agrees: {Totality.dimensions(contribution) == Shape.dimensions(shape) : List<&2, U32>}) ->
826 Holds<Laws.RefusalKeeps(slot, contribution, Gradient.agreed(shape, slot, contribution))>:
827 match slot:
828 case Gradient.Unset{}:
829 Holds{Unit{}}
830 case Gradient.Held{gradient}:
831 held_refusal(shape, contribution, gradient, agrees)