def finish
bendtorch-core@0.1.0.0 · src/autograd/broadcast.bend:17
import bendtorch-core@0.1.0.0/src/autograd/broadcast.bend as Broadcast
import Base
import bendtorch-core@0.1.0.0/src/tensor/core.bend as Core
17def finish(pair: (Core.Dynamic & Core.Dynamic) & Result<&2, &1, Core.Error, Core.Dynamic>) ->
18 Core.Dynamic & Result<&2, &1, Error, Core.Dynamic>:
19 ((input, zeros), result) = pair
20 match result:
21 case Fail{error}:
22 (input, Fail{TensorError{error}})
23 case Done{output}:
24 (input, Done{output})