def sub

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

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

import Base

1276def sub(tape: Tape, +a: Nat, +b: Nat) -> Tape & Result<&2, &2, Error, Nat>:
1277  binary(tape, Minus{}, a, b)

Uses (7)

Used by (0)

No other definition uses this definition.