def constant

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

import Base
import bendtorch-core@0.1.0.0/src/tensor/core.bend as Core

1160# Records a constant: a leaf that takes no gradient, PyTorch's tensor with
1161# requires_grad=False. No VJP sends it a contribution, so its slot reads None
1162# after any backward that does not start at it; Sgd.step takes it as a leaf
1163# and keeps it.
1164def constant(tape: Tape, value: Core.Dynamic) -> Tape & Nat:
1165  Tape{entries} = tape
1166  pushed(Constant{}, value, Unsaved{}, counted(entries))