GradientLAWS.grad_unset_none: law of bendtorch-core@0.1.0.0
Import: import bendtorch-core@0.1.0.0/src/autograd/gradient_LAWS.bend as GradientLAWS
Lines 148-151 of bendtorch-core@0.1.0.0/src/autograd/gradient_LAWS.bend: https://jend.leeeet.dev/read.txt?path=bendtorch-core@0.1.0.0/src/autograd/gradient_LAWS.bend&start_line=148&end_line=151

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

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

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=bendtorch-core@0.1.0.0/src/autograd/gradient.bend&name=Slot
  https://jend.leeeet.dev/definition.txt?path=bendtorch-core@0.1.0.0/src/autograd/gradient.bend&name=grad
  https://jend.leeeet.dev/definition.txt?path=bendtorch-core@0.1.0.0/src/tensor/core.bend&name=Dynamic