def slots_after

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

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

130def slots_after(result: Result<&2, &2, Backward.Error, Backward.Tape>) -> Result<&2, &2, Backward.Error, List<&2, Maybe<&2, F32>>>:
131  match result:
132    case Fail{error}:
133      Fail{error}
134    case Done{tape}:
135      Done{tape_slots(tape)}