def RefusalKeeps

bendtorch-core@0.1.0.0 · src/autograd/gradient_LAWS.bend:68

import Base
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

68def RefusalKeeps(-slot: Gradient.Slot, -contribution: Core.Dynamic, outcome: Gradient.Outcome) -> Type:
69  match outcome:
70    case Gradient.Accumulated{after}:
71      Unit
72    case Gradient.Refused{after, returned, error}:
73      {mismatched(error) == True{} : Bool} & (Totality.SameSource(contribution, returned) & SlotKept(slot, after))