SgdLAWS.operand_refusal: def of bendtorch-core@0.1.0.0
Import: import bendtorch-core@0.1.0.0/src/autograd/sgd_LAWS.bend as SgdLAWS
Lines 138-145 of bendtorch-core@0.1.0.0/src/autograd/sgd_LAWS.bend: https://jend.leeeet.dev/read.txt?path=bendtorch-core@0.1.0.0/src/autograd/sgd_LAWS.bend&start_line=138&end_line=145

import Base
import bendtorch-core@0.1.0.0/src/autograd/sgd.bend as Sgd

# What a parameter's node allows: a node with no operands, a leaf, is
# accepted; a node with operands is refused with NotLeaf.
def operand_refusal(targets: List<&2, Nat>) -> Maybe<&2, Sgd.Error>:
  match targets:
    case Nil{}:
      None{}
    case Con{target, rest}:
      Some{Sgd.NotLeaf{}}

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=bendtorch-core@0.1.0.0/src/autograd/sgd.bend&name=Error