~/jendhub

def left_found

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

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

1257def left_found(kind: Binary, +a: Nat, +b: Nat, pair: Found()) -> Tape & Result<&2, &2, Error, Nat>:
1258  (entries, left) = pair
1259  match left:
1260    case Fail{error}:
1261      (Tape{entries}, Fail{UnknownNode{}})
1262    case Done{left}:
1263      right_found(kind, a, b, left, value_counted(b, counted(entries)))

Uses (11)

Used by (1)