def leaf

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

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

import Base

281# Records a leaf; its id is the number of entries before it.
282def leaf(tape: Tape, value: F32) -> Tape & Nat:
283  Tape{+entries} = tape
284  (Tape{Entry{Leaf{}, value, None{}} <> entries}, List.length(&2, Entry, entries))

Uses (10)

Used by (4)