def operands_right

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

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

351def operands_right(+entries: List<&2, Backward.Entry>, kind: Backward.Binary, +a: Nat, +b: Nat, left: Result<&2, &2, Backward.Error, F32>) ->
352  {Backward.operands(entries, kind, a, b, left, Fail{Backward.UnknownNode{}}) ==
353    (Backward.Tape{entries}, Fail{Backward.UnknownNode{}}) : Backward.Tape & Result<&2, &2, Backward.Error, Nat>}:
354  match left:
355    case Fail{error}:
356      {==}
357    case Done{x}:
358      {==}