def leaf

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

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

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

1155# Records a leaf.
1156def leaf(tape: Tape, value: Core.Dynamic) -> Tape & Nat:
1157  Tape{entries} = tape
1158  pushed(Leaf{}, value, Unsaved{}, counted(entries))

Uses (8)

Used by (0)

No other definition uses this definition.