def done_id
import bendtorch-core@0.1.0.0/src/autograd/tensor_backward.bend as TensorBackwardimport Base
1049def done_id(pair: Tape & Nat) -> Tape & Result<&2, &2, Error, Nat>:
1050 (tape, id) = pair
1051 (tape, Done{id})
import bendtorch-core@0.1.0.0/src/autograd/tensor_backward.bend as TensorBackwardimport Base
1049def done_id(pair: Tape & Nat) -> Tape & Result<&2, &2, Error, Nat>:
1050 (tape, id) = pair
1051 (tape, Done{id})