def is_some_accumulate

bendtorch-core@0.1.0.0 · src/autograd/backward_PROOF.bend:134

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

134def is_some_accumulate(slot: Maybe<&2, F32>, +value: F32) ->
135  {Maybe.is_some(&2, F32, Backward.accumulate(slot, Some{value})) == True{} : Bool}:
136  match slot:
137    case None{}:
138      {==}
139    case Some{held}:
140      {==}