def slot_kept

bendtorch-core@0.1.0.0 · src/autograd/gradient_PROOF.bend:792

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

792def slot_kept(slot: Gradient.Slot) -> Holds<Laws.SlotKept(slot, slot)>:
793  match slot:
794    case Gradient.Unset{}:
795      Holds{{==}}
796    case Gradient.Held{gradient}:
797      Holds{({==}, index => {==})}