def tape_of

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

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

155def tape_of(pair: Backward.Tape & Nat) -> Backward.Tape:
156  (tape, id) = pair
157  tape

Uses (4)

Used by (4)