def right_found

bendtorch-core@0.1.0.0 · src/autograd/tensor_backward.bend:1249

import Base
import bendtorch-core@0.1.0.0/src/tensor/core.bend as Core

1249def right_found(kind: Binary, +a: Nat, +b: Nat, left: Core.Dynamic, pair: Found()) -> Tape & Result<&2, &2, Error, Nat>:
1250  (entries, right) = pair
1251  match right:
1252    case Fail{error}:
1253      (Tape{entries}, Fail{UnknownNode{}})
1254    case Done{right}:
1255      computed(kind, a, b, entries, Core.shape(left), Core.shape(right))