def add

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

import Base

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

Uses (7)