def add

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

import Base

1273def add(tape: Tape, +a: Nat, +b: Nat) -> Tape & Result<&2, &2, Error, Nat>:
1274  binary(tape, Plus{}, a, b)