def neg

bendtorch-core@0.1.0.0 · src/autograd/backward.bend:327

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

import Base

327# Records -a, with the same refusal as binary.
328def neg(tape: Tape, +a: Nat) -> Tape & Result<&2, &2, Error, Nat>:
329  Tape{+entries} = tape
330  negated(entries, a, value(Tape{entries}, a))

Uses (7)

Used by (2)