law grad_held_some

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

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

153# A slot that holds a gradient reads as that gradient.
154law grad_held_some:
155  for held: Core.Dynamic
156  {Gradient.grad(Gradient.Held{held}) == Some{held} : Maybe<&1, Core.Dynamic>}