~/jendhub

def program_neg

bendtorch-core@0.1.0.0 · src/autograd/backward_LAWS.bend:166

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

166def program_neg(x: F32) -> Backward.Tape:
167  recorded(Backward.neg(tape_of(Backward.leaf(Backward.empty(), x)), 0n))

Uses (7)

Used by (1)