def tensor_failed

bendtorch-core@0.1.0.0 · src/tensor/batched_matmul.bend:334

import Base
import bendtorch-core@0.1.0.0/src/tensor/core.bend as Core
import bendtorch-core@0.1.0.0/src/tensor/matmul.bend as Matrix

334def tensor_failed(result: Result<&2, &1, Core.Error, Core.Dynamic & Core.Dynamic & Core.Dynamic>) ->
335  Result<&2, &1, Matrix.Error, Core.Dynamic & Core.Dynamic & Core.Dynamic>:
336  match result:
337    case Fail{error}:
338      Fail{Matrix.TensorError{error}}
339    case Done{triple}:
340      Done{triple}