def recorded

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

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

159def recorded(pair: Backward.Tape & Result<&2, &2, Backward.Error, Nat>) -> Backward.Tape:
160  (tape, result) = pair
161  tape