law grad_unset_none

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

import Base
import bendtorch-core@0.1.0.0/src/tensor/core.bend as Core
import bendtorch-core@0.1.0.0/src/autograd/gradient.bend as Gradient

148# Like PyTorch's .grad, a slot that never received a contribution has no
149# gradient: grad reads it as None, not as zeros.
150law grad_unset_none:
151  {Gradient.grad(Gradient.Unset{}) == None{} : Maybe<&1, Core.Dynamic>}