def size
import bendtorch-core@0.1.0.0/src/autograd/backward.bend as Backwardimport Base
56def size(tape: Tape) -> Nat:
57 Tape{entries} = tape
58 List.length(&2, Entry, entries)
Uses (4)
Used by (0)
No other definition uses this definition.
import bendtorch-core@0.1.0.0/src/autograd/backward.bend as Backwardimport Base
56def size(tape: Tape) -> Nat:
57 Tape{entries} = tape
58 List.length(&2, Entry, entries)
No other definition uses this definition.