def refusal_at

bendtorch-core@0.1.0.0 · src/autograd/sgd.bend:67

import Base
import bendtorch-core@0.1.0.0/src/autograd/tensor_backward.bend as Backward

67# Why id cannot be a parameter of a newest-first list of count nodes, or
68# None when it is a leaf the list holds.
69def refusal_at(nodes: List<&2, Backward.Node>, +count: Nat, +id: Nat, same: Bool) -> Maybe<&2, Error>:
70  match nodes count same:
71    case Nil{} count same:
72      Some{UnknownNode{}}
73    case Con{node, rest} 0n same:
74      Some{UnknownNode{}}
75    case Con{node, rest} 1n+below True{}:
76      leaf_refusal(node)
77    case Con{node, rest} 1n+below False{}:
78      refusal_at(rest, below, id, Backward.at_head(below, id))